Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Data.Witness.Any
- data Any w = MkAny (w a) a
- matchAny :: TestEquality w => w a -> Any w -> Maybe a
- data AnyF w f = MkAnyF (w a) (f a)
- matchAnyF :: TestEquality w => w a -> AnyF w f -> Maybe (f a)
- data AnyWitness w = MkAnyWitness (w a)
- matchAnyWitness :: TestEquality w => w a -> AnyWitness w -> Bool
Documentation
matchAny :: TestEquality w => w a -> Any w -> Maybe 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) # | |
matchAnyWitness :: TestEquality w => w a -> AnyWitness w -> Bool #