Libraries.Control.Delayed

Utilities functions for contitionally delaying values.

Definitions

inf : Bool -> Type -> Type

  Type-level function for a conditionally infinite type.

Totality: total
Visibility: public export

lazy : Bool -> Type -> Type

  Type-level function for a conditionally lazy type.

Totality: total
Visibility: public export