Data.Witness.Any

Documentation

data Any w

Any value with a witness to it.

Constructors

MkAny (w a) a

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

data AnyF w f

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

Constructors

MkAnyF (w a) (f a)

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

data AnyWitness w

Any witness.

Constructors

MkAnyWitness (w a)

Instances

TestEquality k w => Eq (AnyWitness k w)

Methods

(==) :: AnyWitness k w -> AnyWitness k w -> Bool

(/=) :: AnyWitness k w -> AnyWitness k w -> Bool

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