Modulehackage-security-0.6.4.0Haskell2010
Hackage.Security.Client.Formats
Synopsis
- data FormatUn
- data FormatGz
- data Format
- data Formats
- data HasFormat
- value hasFormatAbsurd
- value hasFormatGet
- value formatsMap
- value formatsMember
- value formatsLookup
- Packagehackage-security-0.6.4.0
- Exports10
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceFormats.hs
Formats
Type level
Term level
Format is a singleton type (reflection type to term level)
NOTE: In the future we might add further compression formats.
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.
Instances3Functor, Eq, Show
Key membership
HasFormat fs f is a proof that f is a key in fs.
See formatsMember and formatsLookup for typical usage.