hackage-security-0.5.2.2: Hackage security library

Safe HaskellNone
LanguageHaskell2010

Hackage.Security.Client.Formats

Contents

Synopsis

Formats

Type level

data FormatUn Source

data FormatGz Source

Term level

data Format :: * -> * where Source

Format is a singleton type (reflection type to term level)

NOTE: In the future we might add further compression formats.

Constructors

FUn :: Format FormatUn 
FGz :: Format FormatGz 

Instances

data Formats :: * -> * -> * where Source

Available formats

Rather than having a general list here, we enumerate all possibilities. This means we are very precise about what we expect, and we avoid any runtime errors about unexpect format definitions.

NOTE: If we add additional cases here (for dealing with additional formats) all calls to error "inaccessible" need to be reevaluated.

Constructors

FsNone :: Formats () a 
FsUn :: a -> Formats (FormatUn :- ()) a 
FsGz :: a -> Formats (FormatGz :- ()) a 
FsUnGz :: a -> a -> Formats (FormatUn :- (FormatGz :- ())) a 

Instances

Functor (Formats fs) Source 
Eq a => Eq (Formats fs a) Source 
Show a => Show (Formats fs a) Source 

Key membership

data HasFormat :: * -> * -> * where Source

HasFormat fs f is a proof that f is a key in fs.

See formatsMember and formatsLookup for typical usage.

Constructors

HFZ :: Format f -> HasFormat (f :- fs) f 
HFS :: HasFormat fs f -> HasFormat (f' :- fs) f 

Instances

Utility

hasFormatAbsurd :: HasFormat () f -> a Source

hasFormatGet :: HasFormat fs f -> Format f Source

Map-like operations

formatsMap :: (forall f. Format f -> a -> b) -> Formats fs a -> Formats fs b Source

formatsMember :: Format f -> Formats fs a -> Maybe (HasFormat fs f) Source

formatsLookup :: HasFormat fs f -> Formats fs a -> a Source