Modulehackage-security-0.6.4.0Haskell2010

Hackage.Security.Util.Some

Hiding existentials

Contents

Synopsis

datadata Some (f :: Type -> Type)

Instances13FromJSON, ToJSON, Eq, Show, Pretty, …

ReportSchemaErrors m => FromJSON m (Some Key)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
ReportSchemaErrors m => FromJSON m (Some KeyType)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
ReportSchemaErrors m => FromJSON m (Some PublicKey)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
ReportSchemaErrors m => FromJSON m (Some Pattern)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Patterns
ReportSchemaErrors m => FromJSON m (Some Replacement)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Patterns
Monad m => ToJSON m (Some Key)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
Monad m => ToJSON m (Some KeyType)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
Monad m => ToJSON m (Some PublicKey)Defined in hackage-security-0.6.4.0 · Hackage.Security.Key
Monad m => ToJSON m (Some Pattern)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Patterns
Monad m => ToJSON m (Some Replacement)Defined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Patterns
(Typed f, SomeEq f) => Eq (Some f)Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.Some
SomeShow f => Show (Some f)Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.Some
SomePretty f => Pretty (Some f)Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.Some

Equality

datadata DictEq a where

classclass SomeEq (f :: Type -> Type) where

Type f satisfies SomeEq f if f a satisfies Eq independent of a

Instances4SomeEq

datadata DictShow a where

classclass SomeShow (f :: Type -> Type) where

Type f satisfies SomeShow f if f a satisfies Show independent of a

Instances5SomeShow

SomeShow KeyDefined in hackage-security-0.6.4.0 · Hackage.Security.Key
SomeShow KeyTypeDefined in hackage-security-0.6.4.0 · Hackage.Security.Key
SomeShow PrivateKeyDefined in hackage-security-0.6.4.0 · Hackage.Security.Key
SomeShow PublicKeyDefined in hackage-security-0.6.4.0 · Hackage.Security.Key
SomeShow IndexFileDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Layout.Index

datadata DictPretty a where

classclass SomePretty (f :: Type -> Type) where

Type f satisfies SomeShow f if f a satisfies Show independent of a

Instances1SomePretty

SomePretty IndexFileDefined in hackage-security-0.6.4.0 · Hackage.Security.TUF.Layout.Index

valuetypecheckSome :: Typed f => Some f -> Some (TypeOf f) -> Bool