hackage-security-0.6.2.4: Hackage security library
Safe HaskellNone
LanguageHaskell2010

Hackage.Security.Util.Some

Description

Hiding existentials

Synopsis

Documentation

data Some (f :: Type -> Type) Source #

Constructors

Some (f a) 

Instances

Instances details
ReportSchemaErrors m => FromJSON m (Some Key) Source # 
Instance details

Defined in Hackage.Security.Key

Methods

fromJSON :: JSValue -> m (Some Key) Source #

ReportSchemaErrors m => FromJSON m (Some KeyType) Source # 
Instance details

Defined in Hackage.Security.Key

Methods

fromJSON :: JSValue -> m (Some KeyType) Source #

ReportSchemaErrors m => FromJSON m (Some PublicKey) Source # 
Instance details

Defined in Hackage.Security.Key

Monad m => ToJSON m (Some Key) Source # 
Instance details

Defined in Hackage.Security.Key

Methods

toJSON :: Some Key -> m JSValue Source #

Monad m => ToJSON m (Some KeyType) Source # 
Instance details

Defined in Hackage.Security.Key

Monad m => ToJSON m (Some PublicKey) Source # 
Instance details

Defined in Hackage.Security.Key

SomeShow f => Show (Some f) Source # 
Instance details

Defined in Hackage.Security.Util.Some

Methods

showsPrec :: Int -> Some f -> ShowS #

show :: Some f -> String #

showList :: [Some f] -> ShowS #

(Typed f, SomeEq f) => Eq (Some f) Source # 
Instance details

Defined in Hackage.Security.Util.Some

Methods

(==) :: Some f -> Some f -> Bool #

(/=) :: Some f -> Some f -> Bool #

SomePretty f => Pretty (Some f) Source # 
Instance details

Defined in Hackage.Security.Util.Some

Methods

pretty :: Some f -> String Source #

Equality

data DictEq a where Source #

Constructors

DictEq :: forall a. Eq a => DictEq a 

class SomeEq (f :: Type -> Type) where Source #

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

Methods

someEq :: DictEq (f a) Source #

Instances

Instances details
SomeEq Key Source # 
Instance details

Defined in Hackage.Security.Key

Methods

someEq :: DictEq (Key a) Source #

SomeEq KeyType Source # 
Instance details

Defined in Hackage.Security.Key

Methods

someEq :: DictEq (KeyType a) Source #

SomeEq PrivateKey Source # 
Instance details

Defined in Hackage.Security.Key

SomeEq PublicKey Source # 
Instance details

Defined in Hackage.Security.Key

Serialization

data DictShow a where Source #

Constructors

DictShow :: forall a. Show a => DictShow a 

class SomeShow (f :: Type -> Type) where Source #

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

Methods

someShow :: DictShow (f a) Source #

Instances

Instances details
SomeShow Key Source # 
Instance details

Defined in Hackage.Security.Key

Methods

someShow :: DictShow (Key a) Source #

SomeShow KeyType Source # 
Instance details

Defined in Hackage.Security.Key

SomeShow PrivateKey Source # 
Instance details

Defined in Hackage.Security.Key

SomeShow PublicKey Source # 
Instance details

Defined in Hackage.Security.Key

SomeShow IndexFile Source # 
Instance details

Defined in Hackage.Security.TUF.Layout.Index

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

Instances details
SomePretty IndexFile Source # 
Instance details

Defined in Hackage.Security.TUF.Layout.Index

Type checking

typecheckSome :: forall (f :: Type -> Type). Typed f => Some f -> Some (TypeOf f) -> Bool Source #