Language.Asn.Encoding

Run Encoding

der :: AsnEncoding a -> a -> ByteString

toDefinitionString :: AsnEncoding a -> String

Build Encoding

Constructed

sequence :: [Field a] -> AsnEncoding a

sequenceOf :: Foldable f => AsnEncoding a -> AsnEncoding (f a)

choice :: [a] -> (a -> ValueAndEncoding) -> AsnEncoding a

tag :: TagClass -> Int -> Explicitness -> AsnEncoding a -> AsnEncoding a

implicitTag :: Tag -> AsnEncoding a -> AsnEncoding a

Fields

required :: FieldName -> (a -> b) -> AsnEncoding b -> Field a

optional :: FieldName -> (a -> Maybe b) -> AsnEncoding b -> Field a

defaulted :: (Eq b, Show b) => FieldName -> (a -> b) -> AsnEncoding b -> b -> Field a

option :: Int -> OptionName -> b -> AsnEncoding b -> ValueAndEncoding

Primitive

integer :: AsnEncoding Integer

integerRanged :: Integer -> Integer -> AsnEncoding Integer

int32 :: AsnEncoding Int32

int :: AsnEncoding Int

word32 :: AsnEncoding Word32

word64 :: AsnEncoding Word64

word :: AsnEncoding Word

octetString :: AsnEncoding ByteString

octetStringWord8 :: AsnEncoding Word8

octetStringWord32 :: AsnEncoding Word32

utf8String :: AsnEncoding Text

null :: AsnEncoding ()

null' :: AsnEncoding a

Anything can be encoded as NULL by simply discarding it. Typically, encoding a type with more than one inhabitant as NULL is a mistake, so the more restrictive null is to be preferred.

objectIdentifier :: AsnEncoding ObjectIdentifier

int64Log256 :: Int64 -> Int

encodeLength :: Int64 -> ByteString