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