hackage-security-0.6.2.5: Hackage security library
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hackage.Security.Util.Some

Description

Hiding existentials

Synopsis

Documentation

data Some f Source #

Constructors

forall a. 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 :: Eq a => DictEq a 

class SomeEq f 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 :: Show a => DictShow a 

class SomeShow f 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 :: Pretty a => DictPretty a 

class SomePretty f 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 :: Typed f => Some f -> Some (TypeOf f) -> Bool Source #