Data.Effect.NonDet

Documentation

data Empty a where

Constructors

Empty :: forall a. Empty a

type LEmpty = LiftFOE Empty

pattern LEmpty :: forall a f a1. () => forall. (a ~ a1, ()) => LiftFOE Empty f a

empty :: forall a f. SendFOE Empty f => f a

empty' :: forall {k} (tag :: k) a f. SendFOE (Tag Empty tag) f => f a

empty'' :: forall {k} (key :: k) a f. SendFOEBy key Empty f => f a

data Choose a where

Constructors

Choose :: Choose Bool

type LChoose = LiftFOE Choose

pattern LChoose :: forall a f. () => (a ~ Bool, ()) => LiftFOE Choose f a

choose :: SendFOE Choose f => f Bool

choose' :: forall {k} (tag :: k) f. SendFOE (Tag Choose tag) f => f Bool

choose'' :: forall {k} (key :: k) f. SendFOEBy key Choose f => f Bool

data ChooseH (f :: Type -> Type) a where

Constructors

ChooseH :: forall (f :: Type -> Type) a. 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 a f. SendHOE ChooseH f => f a -> f a -> f a

chooseH' :: forall {k} (tag :: k) a f. SendHOE (TagH ChooseH tag) f => f a -> f a -> f a

chooseH'' :: forall {k} (key :: k) a f. SendHOEBy key ChooseH f => f a -> f a -> f a