hackage-security-0.5.3.0: Hackage security library

Safe HaskellNone
LanguageHaskell2010

Hackage.Security.Util.Some

Contents

Description

Hiding existentials

Synopsis

Documentation

data Some f #

Constructors

Some (f a) 
Instances
ReportSchemaErrors m => FromJSON m (Some KeyType) # 
Instance details

Defined in Hackage.Security.Key

Methods

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

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

Defined in Hackage.Security.Key

Methods

fromJSON :: JSValue -> m (Some PublicKey) #

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

Defined in Hackage.Security.Key

Methods

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

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

Defined in Hackage.Security.Key

Methods

toJSON :: Some KeyType -> m JSValue #

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

Defined in Hackage.Security.Key

Methods

toJSON :: Some PublicKey -> m JSValue #

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

Defined in Hackage.Security.Key

Methods

toJSON :: Some Key -> m JSValue #

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

Defined in Hackage.Security.Util.Some

Methods

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

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

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

Defined in Hackage.Security.Util.Some

Methods

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

show :: Some f -> String #

showList :: [Some f] -> ShowS #

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

Defined in Hackage.Security.Util.Some

Methods

pretty :: Some f -> String #

Equality

data DictEq a where #

Constructors

DictEq :: Eq a => DictEq a 

class SomeEq f where #

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

Methods

someEq :: DictEq (f a) #

Instances
SomeEq KeyType # 
Instance details

Defined in Hackage.Security.Key

Methods

someEq :: DictEq (KeyType a) #

SomeEq PrivateKey # 
Instance details

Defined in Hackage.Security.Key

Methods

someEq :: DictEq (PrivateKey a) #

SomeEq PublicKey # 
Instance details

Defined in Hackage.Security.Key

Methods

someEq :: DictEq (PublicKey a) #

SomeEq Key # 
Instance details

Defined in Hackage.Security.Key

Methods

someEq :: DictEq (Key a) #

Serialization

data DictShow a where #

Constructors

DictShow :: Show a => DictShow a 

class SomeShow f where #

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

Methods

someShow :: DictShow (f a) #

Instances
SomeShow KeyType # 
Instance details

Defined in Hackage.Security.Key

Methods

someShow :: DictShow (KeyType a) #

SomeShow PrivateKey # 
Instance details

Defined in Hackage.Security.Key

SomeShow PublicKey # 
Instance details

Defined in Hackage.Security.Key

SomeShow Key # 
Instance details

Defined in Hackage.Security.Key

Methods

someShow :: DictShow (Key a) #

SomeShow IndexFile # 
Instance details

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 # 
Instance details

Defined in Hackage.Security.TUF.Layout.Index

Type checking

typecheckSome :: Typed f => Some f -> Some (TypeOf f) -> Bool #