Data.Effect.NonDet

Documentation

data Empty (a :: Type) where

Constructors

Empty :: Empty a

type LEmpty = LiftIns Empty

pattern LEmpty :: () => (a ~ a, ()) => LiftIns Empty f a

empty'' :: forall key (a :: Type) f. SendInsBy key Empty f => f a

empty' :: forall tag (a :: Type) f. SendIns (Tag Empty tag) f => f a

empty :: forall (a :: Type) f. SendIns Empty f => f a

data Choose (a :: Type) where

Constructors

Choose :: Choose Bool

type LChoose = LiftIns Choose

pattern LChoose :: () => (a ~ Bool, ()) => LiftIns Choose f a

choose'' :: forall key f. SendInsBy key Choose f => f Bool

choose' :: forall tag f. SendIns (Tag Choose tag) f => f Bool

choose :: forall f. SendIns Choose f => f Bool

data ChooseH f (a :: Type) where

Constructors

ChooseH :: f a -> f a -> ChooseH f a

Instances

() => HFunctor ChooseH

Defined in Data.Effect.NonDet

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> ChooseH f :-> ChooseH g

chooseH'' :: forall key (a :: Type) f. SendSigBy key ChooseH f => f a -> f a -> f a

chooseH' :: forall tag (a :: Type) f. SendSig (TagH ChooseH tag) f => f a -> f a -> f a

chooseH :: forall (a :: Type) f. SendSig ChooseH f => f a -> f a -> f a