Hackage.Security.Client.Formats

Formats

Type level

data FormatUn

data FormatGz

Term level

data Format :: Type -> Type 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

Instances

Show (Format f)

Defined in Hackage.Security.Client.Formats

Methods

showsPrec :: Int -> Format f -> ShowS

show :: Format f -> String

showList :: [Format f] -> ShowS

Eq (Format f)

Defined in Hackage.Security.Client.Formats

Methods

(==) :: Format f -> Format f -> Bool

(/=) :: Format f -> Format f -> Bool

data Formats :: Type -> Type -> Type 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 () a

FsUn :: a -> Formats (FormatUn :- ()) a

FsGz :: a -> Formats (FormatGz :- ()) a

FsUnGz :: a -> a -> Formats (FormatUn :- (FormatGz :- ())) a

Instances

Functor (Formats fs)

Defined in Hackage.Security.Client.Formats

Methods

fmap :: (a -> b) -> Formats fs a -> Formats fs b

(<$) :: a -> Formats fs b -> Formats fs a

Show a => Show (Formats fs a)

Defined in Hackage.Security.Client.Formats

Methods

showsPrec :: Int -> Formats fs a -> ShowS

show :: Formats fs a -> String

showList :: [Formats fs a] -> ShowS

Eq a => Eq (Formats fs a)

Defined in Hackage.Security.Client.Formats

Methods

(==) :: Formats fs a -> Formats fs a -> Bool

(/=) :: Formats fs a -> Formats fs a -> Bool

Key membership

data HasFormat :: Type -> Type -> Type where

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

Show (HasFormat fs f)

Defined in Hackage.Security.Client.Formats

Methods

showsPrec :: Int -> HasFormat fs f -> ShowS

show :: HasFormat fs f -> String

showList :: [HasFormat fs f] -> ShowS

Eq (HasFormat fs f)

Defined in Hackage.Security.Client.Formats

Methods

(==) :: HasFormat fs f -> HasFormat fs f -> Bool

(/=) :: HasFormat fs f -> HasFormat fs f -> Bool

Utility

hasFormatAbsurd :: HasFormat () f -> a

hasFormatGet :: HasFormat fs f -> Format f

Map-like operations

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

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

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