Control.Delayed

Utilities functions for conditionally delaying values.

Definitions

inf : Bool -> Type -> Type

  Type-level function for a conditionally infinite type.

Visibility: public export

lazy : Bool -> Type -> Type

  Type-level function for a conditionally lazy type.

Visibility: public export