- data Any w = forall a . MkAny (w a) a
- matchAny :: SimpleWitness w => w a -> Any w -> Maybe a
- data AnyF w f = forall a . MkAnyF (w a) (f a)
- matchAnyF :: SimpleWitness w => w a -> AnyF w f -> Maybe (f a)
- data AnyF1 w f = forall a . MkAnyF1 (w a) (f a)
- data AnyF2 w f = forall a . MkAnyF2 (w a) (f a)
- data AnyWitness w = forall a . MkAnyWitness (w a)
- matchAnyWitness :: SimpleWitness w => w a -> AnyWitness w -> Bool
- data AnyWitness1 w = forall a . MkAnyWitness1 (w a)
- data AnyWitness2 w = forall a . MkAnyWitness2 (w a)
Documentation
matchAny :: SimpleWitness w => w a -> Any w -> Maybe aSource
Any value with a witness to a parameter of its type.
forall a . MkAnyF (w a) (f a) |
matchAnyF :: SimpleWitness w => w a -> AnyF w f -> Maybe (f a)Source
Any value with a witness to a parameter of its type of kind * -> *
.
forall a . MkAnyF1 (w a) (f a) |
Any value with a witness to a parameter of its type of kind * -> * -> *
.
forall a . MkAnyF2 (w a) (f a) |
data AnyWitness w Source
Any witness.
forall a . MkAnyWitness (w a) |
SimpleWitness w => Eq (AnyWitness w) |
matchAnyWitness :: SimpleWitness w => w a -> AnyWitness w -> BoolSource