Idris2Doc : Control.Delayed

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