| 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 :: k -> *) (f :: k -> *) = MkAnyF (w a) (f a)
- matchAnyF :: TestEquality w => w a -> AnyF w f -> Maybe (f a)
- data AnyWitness (w :: k -> *) = MkAnyWitness (w a)
- matchAnyWitness :: TestEquality w => w a -> AnyWitness w -> Bool
Documentation
matchAny :: TestEquality w => w a -> Any w -> Maybe a #
data AnyF (w :: k -> *) (f :: k -> *) #
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 :: k -> *) #
Any witness.
Constructors
| MkAnyWitness (w a) |
Instances
| TestEquality k w => Eq (AnyWitness k w) # | |
matchAnyWitness :: TestEquality w => w a -> AnyWitness w -> Bool #