
  0 | ||| Utilities functions for contitionally delaying values.
  1 | module Libraries.Control.Delayed
  2 | 
  3 | %default total
  4 | 
  5 | ||| Type-level function for a conditionally infinite type.
  6 | public export
  7 | inf : Bool -> Type -> Type
  8 | inf False t = t
  9 | inf True t = Inf t
 10 | 
 11 | ||| Type-level function for a conditionally lazy type.
 12 | public export
 13 | lazy : Bool -> Type -> Type
 14 | lazy False t = t
 15 | lazy True t = Lazy t
 16 |