| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hackage.Security.Util.Some
Description
Hiding existentials
- data Some f = Some (f a)
- data DictEq a where
- class SomeEq f where
- data DictShow a where
- class SomeShow f where
- data DictPretty a where
- DictPretty :: Pretty a => DictPretty a
- class SomePretty f where
- typecheckSome :: Typed f => Some f -> Some (TypeOf f) -> Bool
Documentation
Constructors
| Some (f a) |
Instances
| ReportSchemaErrors m => FromJSON m (Some KeyType) # | |
| ReportSchemaErrors m => FromJSON m (Some PublicKey) # | |
| ReportSchemaErrors m => FromJSON m (Some Key) # | |
| Monad m => ToJSON m (Some KeyType) # | |
| Monad m => ToJSON m (Some PublicKey) # | |
| Monad m => ToJSON m (Some Key) # | |
| (Typed f, SomeEq f) => Eq (Some f) # | |
| SomeShow f => Show (Some f) # | |
| SomePretty f => Pretty (Some f) # | |
Equality
Type f satisfies SomeEq f if f a satisfies Eq independent of a
Minimal complete definition
Serialization
Type f satisfies SomeShow f if f a satisfies Show independent of a
Minimal complete definition
Pretty-printing
data DictPretty a where #
Constructors
| DictPretty :: Pretty a => DictPretty a |
class SomePretty f where #
Type f satisfies SomeShow f if f a satisfies Show independent of a
Minimal complete definition
Methods
somePretty :: DictPretty (f a) #
Instances
Type checking
typecheckSome :: Typed f => Some f -> Some (TypeOf f) -> Bool #