Data.Witness.Any

Documentation

data Any w

Any value with a witness to it.

Constructors

forall a . MkAny (w a) a

matchAny :: SimpleWitness w => w a -> Any w -> Maybe a

data AnyF w f

Any value with a witness to a parameter of its type.

Constructors

forall a . MkAnyF (w a) (f a)

matchAnyF :: SimpleWitness w => w a -> AnyF w f -> Maybe (f a)

data AnyF1 w f

Any value with a witness to a parameter of its type of kind * -> *.

Constructors

forall a . MkAnyF1 (w a) (f a)

data AnyF2 w f

Any value with a witness to a parameter of its type of kind * -> * -> *.

Constructors

forall a . MkAnyF2 (w a) (f a)

data AnyWitness w

Any witness.

Constructors

forall a . MkAnyWitness (w a)

Instances

SimpleWitness w => Eq (AnyWitness w)

matchAnyWitness :: SimpleWitness w => w a -> AnyWitness w -> Bool

data AnyWitness1 w

Any witness of a type of kind * -> *.

Constructors

forall a . MkAnyWitness1 (w a)

data AnyWitness2 w

Any witness of a type of kind * -> * -> *.

Constructors

forall a . MkAnyWitness2 (w a)