IdrisDoc: Control.Delayed

Control.Delayed

Utilities functions for contitionally delaying values.

lazy : Bool -> Type -> Type

Type-level function for a conditionally lazy type.

inf : Bool -> Type -> Type

Type-level function for a conditionally infinite type.

delayed : DelayReason -> Bool -> Type -> Type

Type-level function for a conditionally delayed type (Lazy or Inf).

delay : (d : Bool) -> a -> delayed r d a

Conditionally delay a value.