witness-0.4: values that witness types

Safe HaskellSafe
LanguageHaskell98

Data.Witness.Any

Synopsis

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 #