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.