||| Utilities functions for contitionally delaying values.module Control.Delayed||| Type-level function for a conditionally infinite type.public exportinf : Bool -> Type -> Typeinf False t = tinf True t = Inf t||| Type-level function for a conditionally lazy type.public exportlazy : Bool -> Type -> Typelazy False t = tlazy True t = Lazy t
||| Utilities functions for contitionally delaying values.
module Control.Delayed
||| Type-level function for a conditionally infinite type.
public export
inf : Bool -> Type -> Type
inf False t = t
inf True t = Inf t
||| Type-level function for a conditionally lazy type.
public export
lazy : Bool -> Type -> Type
lazy False t = t
lazy True t = Lazy t