Hackage.Security.Util.Some

Hiding existentials

Documentation

data Some f

Constructors

forall a . Some (f a)

Instances

ReportSchemaErrors m => FromJSON m (Some KeyType)

ReportSchemaErrors m => FromJSON m (Some PublicKey)

ReportSchemaErrors m => FromJSON m (Some Key)

ReportSchemaErrors m => FromJSON m (Some Replacement)

ReportSchemaErrors m => FromJSON m (Some Pattern)

Monad m => ToJSON m (Some KeyType)

Monad m => ToJSON m (Some PublicKey)

Monad m => ToJSON m (Some Key)

Monad m => ToJSON m (Some Replacement)

Monad m => ToJSON m (Some Pattern)

(Typed f, SomeEq f) => Eq (Some f)

SomeShow f => Show (Some f)

Typeable ((* -> *) -> *) Some

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

SomeEq PrivateKey

SomeEq PublicKey

SomeEq Key

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

SomeShow PrivateKey

SomeShow PublicKey

SomeShow Key

Type checking

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