Modulehackage-security-0.6.3.2Haskell2010

Hackage.Security.Client.Formats

5 types
5 values

Packagehackage-security-0.6.3.2
Exports10
LanguageHaskell2010
LicenceBSD-3-Clause
SourceFormats.hs

Formats

0 declarations

Type level

datadata FormatUn

datadata FormatGz

Term level

datadata Format a where

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

Instances3Unify, Eq, Show

Unify FormatDefined in hackage-security-0.6.3.2 · Hackage.Security.Client.Formats
Eq (Format f)Defined in hackage-security-0.6.3.2 · Hackage.Security.Client.Formats
Show (Format f)Defined in hackage-security-0.6.3.2 · Hackage.Security.Client.Formats

datadata Formats a b where

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 unexpected 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 () b
FsUn :: b -> Formats (FormatUn :- ()) b
FsGz :: b -> Formats (FormatGz :- ()) b
FsUnGz :: b -> b -> Formats (FormatUn :- (FormatGz :- ())) b

Instances3Functor, Eq, Show

Functor (Formats fs)Defined in hackage-security-0.6.3.2 · Hackage.Security.Client.Formats
Eq a => Eq (Formats fs a)Defined in hackage-security-0.6.3.2 · Hackage.Security.Client.Formats
Show a => Show (Formats fs a)Defined in hackage-security-0.6.3.2 · Hackage.Security.Client.Formats

Key membership

1 declaration

datadata HasFormat a b where

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

See formatsMember and formatsLookup for typical usage.

Constructors

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

Instances2Eq, Show

Eq (HasFormat fs f)Defined in hackage-security-0.6.3.2 · Hackage.Security.Client.Formats
Show (HasFormat fs f)Defined in hackage-security-0.6.3.2 · Hackage.Security.Client.Formats

Utility

valuehasFormatAbsurd :: HasFormat () f -> a

valuehasFormatGet :: HasFormat fs f -> Format f

Map-like operations

3 declarations

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

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

valueformatsLookup :: HasFormat fs f -> Formats fs a -> a