Idris2Doc : Control.Delayed

Control.Delayed

Utilities functions for conditionally delaying values.
inf : Bool -> Type -> Type
  Type-level function for a conditionally infinite type.

lazy : Bool -> Type -> Type
  Type-level function for a conditionally lazy type.