Control.Eff.Choose

Definitions

data Choose : Type -> Type

Totality: total
Visibility: public export
Constructors:

Empty : Choose a

Alt : a -> a -> Choose a

empty : Has Choose fs => Eff fs a

Totality: total
Visibility: export

alt : Has Choose fs => Eff fs a -> Eff fs a -> Eff fs a

Totality: total
Visibility: export

guard : Has Choose fs => Bool -> Eff fs ()

Totality: total
Visibility: export

runChoose : Alternative f => {auto {conArg:1982} : Has Choose fs} -> Eff fs a -> Eff (fs - Choose) (f a)

Totality: total
Visibility: export