witness-0.3: values that witness types

Safe HaskellNone
LanguageHaskell98

Data.Witness.Any

Synopsis

Documentation

data Any w Source

Any value with a witness to it.

Constructors

forall a . MkAny (w a) a 

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

data AnyF w f Source

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

Constructors

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

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

data AnyWitness w Source

Any witness.

Constructors

forall a . MkAnyWitness (w a) 

Instances

TestEquality k w => Eq (AnyWitness k w) 

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