Module

CallByName.Syntax

#defer 

defer :: forall a. CBN a -> Unit -> a

#deferApply 

deferApply :: forall a b. ((Unit -> a) -> b) -> CBN a -> b

#(\\)

Operator alias for CallByName.Syntax.deferApply (left-associative / precedence 10)

#lazy 

lazy :: forall a. CBN a -> Lazy a

#lazyApply 

lazyApply :: forall a b. (Lazy a -> b) -> CBN a -> b

#(~)

Operator alias for CallByName.Syntax.lazyApply (left-associative / precedence 10)

Modules