IdrisDoc: Control.Delayed

Control.Delayed

Utilities functions for contitionally delaying values.

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

Conditionally delay a value.

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

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

inf : Bool -> Type -> Type

Type-level function for a conditionally infinite type.

lazy : Bool -> Type -> Type

Type-level function for a conditionally lazy type.