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 Source #

Constructors

Some (f a) 

Instances

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

Methods

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

ReportSchemaErrors m => FromJSON m (Some PublicKey) Source # 
ReportSchemaErrors m => FromJSON m (Some Key) Source # 

Methods

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

Monad m => ToJSON m (Some KeyType) Source # 
Monad m => ToJSON m (Some PublicKey) Source # 
Monad m => ToJSON m (Some Key) Source # 

Methods

toJSON :: Some Key -> m JSValue Source #

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

Methods

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

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

SomeShow f => Show (Some f) Source # 

Methods

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

show :: Some f -> String #

showList :: [Some f] -> ShowS #

SomePretty f => Pretty (Some f) Source # 

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

Minimal complete definition

someEq

Methods

someEq :: DictEq (f a) Source #

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

Minimal complete definition

someShow

Methods

someShow :: DictShow (f a) Source #

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

Minimal complete definition

somePretty

Methods

somePretty :: DictPretty (f a) Source #

Type checking

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