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) Source # | |
ReportSchemaErrors m => FromJSON m (Some PublicKey) Source # | |
ReportSchemaErrors m => FromJSON m (Some Key) Source # | |
Monad m => ToJSON m (Some KeyType) Source # | |
Monad m => ToJSON m (Some PublicKey) Source # | |
Monad m => ToJSON m (Some Key) Source # | |
(Typed f, SomeEq f) => Eq (Some f) Source # | |
SomeShow f => Show (Some f) Source # | |
SomePretty f => Pretty (Some f) Source # | |
Equality
Type f
satisfies SomeEq f
if f a
satisfies Eq
independent of a
Minimal complete definition
Serialization
class SomeShow f where Source #
Type f
satisfies SomeShow f
if f a
satisfies Show
independent of a
Minimal complete definition
Pretty-printing
data DictPretty a where Source #
Constructors
DictPretty :: Pretty a => DictPretty a |
class SomePretty f where Source #
Type f
satisfies SomeShow f
if f a
satisfies Show
independent of a
Minimal complete definition
Methods
somePretty :: DictPretty (f a) Source #
Instances