Safe Haskell | None |
---|---|
Language | Haskell2010 |
Hiding existentials
Synopsis
- 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
- somePretty :: DictPretty (f a)
- typecheckSome :: Typed f => Some f -> Some (TypeOf f) -> Bool
Documentation
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) # | |
Defined in Hackage.Security.Util.Some |
Equality
Type f
satisfies SomeEq f
if f a
satisfies Eq
independent of a
Instances
SomeEq KeyType # | |
Defined in Hackage.Security.Key | |
SomeEq PrivateKey # | |
Defined in Hackage.Security.Key someEq :: DictEq (PrivateKey a) # | |
SomeEq PublicKey # | |
Defined in Hackage.Security.Key | |
SomeEq Key # | |
Defined in Hackage.Security.Key |
Serialization
Type f
satisfies SomeShow f
if f a
satisfies Show
independent of a
Instances
SomeShow KeyType # | |
Defined in Hackage.Security.Key | |
SomeShow PrivateKey # | |
Defined in Hackage.Security.Key someShow :: DictShow (PrivateKey a) # | |
SomeShow PublicKey # | |
Defined in Hackage.Security.Key | |
SomeShow Key # | |
Defined in Hackage.Security.Key | |
SomeShow IndexFile # | |
Defined in Hackage.Security.TUF.Layout.Index |
Pretty-printing
data DictPretty a where #
DictPretty :: Pretty a => DictPretty a |
class SomePretty f where #
Type f
satisfies SomeShow f
if f a
satisfies Show
independent of a
somePretty :: DictPretty (f a) #
Instances
SomePretty IndexFile # | |
Defined in Hackage.Security.TUF.Layout.Index somePretty :: DictPretty (IndexFile a) # |
Type checking
typecheckSome :: Typed f => Some f -> Some (TypeOf f) -> Bool #