Control.Effect.Witness

Documentation

class MemberEffect Witness (Witness s) l => EffectWitness s l

Instances

MemberEffect (* -> * -> *) Witness (Witness s) l => EffectWitness s l

data Witness s a

An effect describing the generation of unique identifiers.

Instances

Functor (Witness s)

type Is (* -> * -> *) Witness f

runWitness :: (forall s. Effect (Witness s :+ l) a) -> Effect l a

Completely handles a Witness effect. The Rank-2 quantifier ensures that unique identifiers cannot escape the context in which they were created.

data Token s a

A unique identifier associated with a type a. If two tokens are equal, then so are their associated types. Use testEquality to safely cast between types.

Instances

TestEquality * (Token s)

Eq (Token s a)

newToken :: EffectWitness s l => Effect l (Token s a)

Generates a new, unique Token.