crypton-asn1-encoding

Copyright	(c) 2010-2013 Vincent Hanquez <vincent@snarc.org>
License	BSD-style
Stability	experimental
Portability	unknown
Safe Haskell	None
Language	Haskell2010

Data.ASN1.Prim

Contents

ASN.1 high-level algebraic types
Marshall an ASN.1 value from a val struct or a strict bytestring
Marshall an ASN.1 value to a strict bytestring

Description

Tools to read ASN1 primitive (e.g. boolean, int)

Synopsis

data ASN1
- = Boolean Bool
- | IntVal Integer
- | BitString BitArray
- | OctetString ByteString
- | Null
- | OID OID
- | Real Double
- | Enumerated Integer
- | ASN1String ASN1CharacterString
- | ASN1Time ASN1TimeType DateTime (Maybe TimezoneOffset)
- | Other ASN1Class ASN1Tag ByteString
- | Start ASN1ConstructionType
- | End ASN1ConstructionType
data ASN1ConstructionType
- = Sequence
- | Set
- | Container ASN1Class ASN1Tag
encodeHeader :: Bool -> ASN1Length -> ASN1 -> ASN1Header
encodePrimitiveHeader :: ASN1Length -> ASN1 -> ASN1Header
encodePrimitive :: ASN1 -> (Int, [ASN1Event])
decodePrimitive :: ASN1Header -> ByteString -> ASN1Ret
encodeConstructed :: ASN1 -> [ASN1] -> (Int, [ASN1Event])
encodeList :: [ASN1] -> (Int, [ASN1Event])
encodeOne :: ASN1 -> (Int, [ASN1Event])
mkSmallestLength :: Int -> ASN1Length
getBoolean :: Bool -> ByteString -> Either ASN1Error ASN1
getInteger :: ByteString -> Either ASN1Error ASN1
getDouble :: ByteString -> Either ASN1Error ASN1
getBitString :: ByteString -> Either ASN1Error ASN1
getOctetString :: ByteString -> Either ASN1Error ASN1
getNull :: ByteString -> Either ASN1Error ASN1
getOID :: ByteString -> Either ASN1Error ASN1
getTime :: ASN1TimeType -> ByteString -> Either ASN1Error ASN1
putTime :: ASN1TimeType -> DateTime -> Maybe TimezoneOffset -> ByteString
putInteger :: Integer -> ByteString
putDouble :: Double -> ByteString
putBitString :: BitArray -> ByteString
putString :: ByteString -> ByteString
putOID :: [Integer] -> ByteString

ASN.1 high-level algebraic types

data ASN1 #

Constructors

Boolean Bool
IntVal Integer
BitString BitArray
OctetString ByteString
Null
OID OID
Real Double
Enumerated Integer
ASN1String ASN1CharacterString
ASN1Time ASN1TimeType DateTime (Maybe TimezoneOffset)
Other ASN1Class ASN1Tag ByteString
Start ASN1ConstructionType
End ASN1ConstructionType

Instances

Instances details

Eq ASN1 #
Instance details Defined in Data.ASN1.Types Methods (==) :: ASN1 -> ASN1 -> Bool # (/=) :: ASN1 -> ASN1 -> Bool #
Show ASN1 #
Instance details Defined in Data.ASN1.Types Methods showsPrec :: Int -> ASN1 -> ShowS # show :: ASN1 -> String # showList :: [ASN1] -> ShowS #

data ASN1ConstructionType #

Constructors

Sequence
Set
Container ASN1Class ASN1Tag

Instances

Instances details

Eq ASN1ConstructionType #
Instance details Defined in Data.ASN1.Types Methods (==) :: ASN1ConstructionType -> ASN1ConstructionType -> Bool # (/=) :: ASN1ConstructionType -> ASN1ConstructionType -> Bool #
Show ASN1ConstructionType #
Instance details Defined in Data.ASN1.Types Methods showsPrec :: Int -> ASN1ConstructionType -> ShowS # show :: ASN1ConstructionType -> String # showList :: [ASN1ConstructionType] -> ShowS #

encodeHeader :: Bool -> ASN1Length -> ASN1 -> ASN1Header Source #

encodePrimitiveHeader :: ASN1Length -> ASN1 -> ASN1Header Source #

encodePrimitive :: ASN1 -> (Int, [ASN1Event]) Source #

decodePrimitive :: ASN1Header -> ByteString -> ASN1Ret Source #

encodeConstructed :: ASN1 -> [ASN1] -> (Int, [ASN1Event]) Source #

encodeList :: [ASN1] -> (Int, [ASN1Event]) Source #

encodeOne :: ASN1 -> (Int, [ASN1Event]) Source #

mkSmallestLength :: Int -> ASN1Length Source #

Marshall an ASN.1 value from a val struct or a strict bytestring

getBoolean :: Bool -> ByteString -> Either ASN1Error ASN1 Source #

getInteger :: ByteString -> Either ASN1Error ASN1 Source #

Parse a value bytestring and get the integer out of the two complement encoded bytes.

getDouble :: ByteString -> Either ASN1Error ASN1 Source #

getBitString :: ByteString -> Either ASN1Error ASN1 Source #

getOctetString :: ByteString -> Either ASN1Error ASN1 Source #

getNull :: ByteString -> Either ASN1Error ASN1 Source #

getOID :: ByteString -> Either ASN1Error ASN1 Source #

Return an OID.

getTime :: ASN1TimeType -> ByteString -> Either ASN1Error ASN1 Source #

Marshall an ASN.1 value to a strict bytestring

putTime :: ASN1TimeType -> DateTime -> Maybe TimezoneOffset -> ByteString Source #

putInteger :: Integer -> ByteString Source #

putDouble :: Double -> ByteString Source #

putBitString :: BitArray -> ByteString Source #

putString :: ByteString -> ByteString Source #

putOID :: [Integer] -> ByteString Source #