HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulebase16-1.0Haskell2010

Data.Base16.Types

This module contains the Base16 type definition, Alphabet datatype, alphabet constraints, and various quality of life combinators for working with Base16-wrapped data.

  • 1 type
  • 2 values
  • Packagebase16-1.0
  • Exports3
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceTypes.hs
newtypenewtype Base16 a
#

Wraps a value, asserting that it is or is intended to be in a particular kind of Base16 encoding use extractBase16 to extract the value, and assertBase16 to tag a value as base16-encoded

Instances9Monad, Functor, Applicative, Eq1, Ord1, Eq, …
  • Monad Base16Defined in base16-1.0 · Data.Base16.Types.Internal
  • Functor Base16Defined in base16-1.0 · Data.Base16.Types.Internal
  • Applicative Base16Defined in base16-1.0 · Data.Base16.Types.Internal
  • Eq1 Base16Defined in base16-1.0 · Data.Base16.Types.Internal
  • Ord1 Base16Defined in base16-1.0 · Data.Base16.Types.Internal
  • Eq a => Eq (Base16 a)Defined in base16-1.0 · Data.Base16.Types.Internal
  • Ord a => Ord (Base16 a)Defined in base16-1.0 · Data.Base16.Types.Internal
  • Show a => Show (Base16 a)Defined in base16-1.0 · Data.Base16.Types.Internal
  • NFData a => NFData (Base16 a)Defined in base16-1.0 · Data.Base16.Types.Internal
valueassertBase16 :: a -> Base16 a
#

Assert the provenance of a value.

Warning: This is a blind assertion that a particular value is base16 encoded in some alphabet. If you are not sure of the provenance of the value, you may experience odd behavior when attempting to decode. Use at your own risk. If I see any issues logged on this project from negligent use of this, Sofia and I will smite you.