| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hackage.Security.Util.Some
Description
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
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) # | |
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 Methods 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 Methods 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 #
Constructors
| DictPretty :: Pretty a => DictPretty a |
class SomePretty f where #
Type f satisfies SomeShow f if f a satisfies Show independent of a
Methods
somePretty :: DictPretty (f a) #
Instances
| SomePretty IndexFile # | |
Defined in Hackage.Security.TUF.Layout.Index Methods somePretty :: DictPretty (IndexFile a) # | |
Type checking
typecheckSome :: Typed f => Some f -> Some (TypeOf f) -> Bool #