Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://pursuit.purescript.org/packages/purescript-prelude/6.0.1/docs/Data.Reflectable below:

Data.Reflectable - purescript-prelude - Pursuit

reifyType :: forall t r. Reifiable t => t -> (forall v. Reflectable v t => Proxy v -> r) -> r

Reify a value of type t such that it can be consumed by a function constrained by the Reflectable type class. For example:

twiceFromType :: forall v. Reflectable v Int => Proxy v -> Int
twiceFromType = (_ * 2) <<< reflectType

twiceOfTerm :: Int
twiceOfTerm = reifyType 21 twiceFromType

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4