Language.Asn.Types.Internal

Documentation

data AsnEncoding a

Constructors

EncSequence [Field a]

EncSequenceOf (a -> [b]) (AsnEncoding b)

EncChoice (Choice a)

EncRetag TagAndExplicitness (AsnEncoding a)

EncUniversalValue (UniversalValue a)

Instances

Contravariant AsnEncoding

Methods

contramap :: (a -> b) -> AsnEncoding b -> AsnEncoding a

(>$) :: b -> AsnEncoding b -> AsnEncoding a

data UniversalValue a

Constructors

UniversalValueBoolean (a -> Bool) (Subtypes Bool)

UniversalValueInteger (a -> Integer) (Subtypes Integer)

UniversalValueNull

UniversalValueOctetString (a -> ByteString) (Subtypes ByteString)

UniversalValueTextualString StringType (a -> Text) (Subtypes Text) (Subtypes Char)

UniversalValueObjectIdentifier (a -> ObjectIdentifier) (Subtypes ObjectIdentifier)

Instances

Contravariant UniversalValue

Methods

contramap :: (a -> b) -> UniversalValue b -> UniversalValue a

(>$) :: b -> UniversalValue b -> UniversalValue a

newtype Subtypes a

Constructors

Subtypes

Fields

• getSubtypes :: [Subtype a]

Instances

Semigroup (Subtypes a)

Methods

(<>) :: Subtypes a -> Subtypes a -> Subtypes a

sconcat :: NonEmpty (Subtypes a) -> Subtypes a

stimes :: Integral b => b -> Subtypes a -> Subtypes a

Monoid (Subtypes a)

Methods

mempty :: Subtypes a

mappend :: Subtypes a -> Subtypes a -> Subtypes a

mconcat :: [Subtypes a] -> Subtypes a

newtype ObjectIdentifier

Constructors

ObjectIdentifier

Fields

• getObjectIdentifier :: Vector Integer

Instances

Eq ObjectIdentifier

Methods

(==) :: ObjectIdentifier -> ObjectIdentifier -> Bool

(/=) :: ObjectIdentifier -> ObjectIdentifier -> Bool

Ord ObjectIdentifier

Methods

compare :: ObjectIdentifier -> ObjectIdentifier -> Ordering

(<) :: ObjectIdentifier -> ObjectIdentifier -> Bool

(<=) :: ObjectIdentifier -> ObjectIdentifier -> Bool

(>) :: ObjectIdentifier -> ObjectIdentifier -> Bool

(>=) :: ObjectIdentifier -> ObjectIdentifier -> Bool

max :: ObjectIdentifier -> ObjectIdentifier -> ObjectIdentifier

min :: ObjectIdentifier -> ObjectIdentifier -> ObjectIdentifier

Read ObjectIdentifier

Methods

readsPrec :: Int -> ReadS ObjectIdentifier

readList :: ReadS [ObjectIdentifier]

readPrec :: ReadPrec ObjectIdentifier

readListPrec :: ReadPrec [ObjectIdentifier]

Show ObjectIdentifier

Methods

showsPrec :: Int -> ObjectIdentifier -> ShowS

show :: ObjectIdentifier -> String

showList :: [ObjectIdentifier] -> ShowS

Generic ObjectIdentifier

Associated Types

type Rep ObjectIdentifier :: * -> *

Methods

from :: ObjectIdentifier -> Rep ObjectIdentifier x

to :: Rep ObjectIdentifier x -> ObjectIdentifier

Hashable ObjectIdentifier

Methods

hashWithSalt :: Int -> ObjectIdentifier -> Int

hash :: ObjectIdentifier -> Int

type Rep ObjectIdentifier

type Rep ObjectIdentifier = D1 * (MetaData "ObjectIdentifier" "Language.Asn.Types.Internal" "asn1-codec-0.2.0-3E2W9Jh3uiuFZyGR2Uc0Tf" True) (C1 * (MetaCons "ObjectIdentifier" PrefixI True) (S1 * (MetaSel (Just Symbol "getObjectIdentifier") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector Integer))))

newtype ObjectIdentifierSuffix

Constructors

ObjectIdentifierSuffix

Fields

• getObjectIdentifierSuffix :: Vector Integer

Instances

Eq ObjectIdentifierSuffix

Methods

(==) :: ObjectIdentifierSuffix -> ObjectIdentifierSuffix -> Bool

(/=) :: ObjectIdentifierSuffix -> ObjectIdentifierSuffix -> Bool

Ord ObjectIdentifierSuffix

Methods

compare :: ObjectIdentifierSuffix -> ObjectIdentifierSuffix -> Ordering

(<) :: ObjectIdentifierSuffix -> ObjectIdentifierSuffix -> Bool

(<=) :: ObjectIdentifierSuffix -> ObjectIdentifierSuffix -> Bool

(>) :: ObjectIdentifierSuffix -> ObjectIdentifierSuffix -> Bool

(>=) :: ObjectIdentifierSuffix -> ObjectIdentifierSuffix -> Bool

max :: ObjectIdentifierSuffix -> ObjectIdentifierSuffix -> ObjectIdentifierSuffix

min :: ObjectIdentifierSuffix -> ObjectIdentifierSuffix -> ObjectIdentifierSuffix

Read ObjectIdentifierSuffix

Methods

readsPrec :: Int -> ReadS ObjectIdentifierSuffix

readList :: ReadS [ObjectIdentifierSuffix]

readPrec :: ReadPrec ObjectIdentifierSuffix

readListPrec :: ReadPrec [ObjectIdentifierSuffix]

Show ObjectIdentifierSuffix

Methods

showsPrec :: Int -> ObjectIdentifierSuffix -> ShowS

show :: ObjectIdentifierSuffix -> String

showList :: [ObjectIdentifierSuffix] -> ShowS

Generic ObjectIdentifierSuffix

Associated Types

type Rep ObjectIdentifierSuffix :: * -> *

Methods

from :: ObjectIdentifierSuffix -> Rep ObjectIdentifierSuffix x

to :: Rep ObjectIdentifierSuffix x -> ObjectIdentifierSuffix

Hashable ObjectIdentifierSuffix

Methods

hashWithSalt :: Int -> ObjectIdentifierSuffix -> Int

hash :: ObjectIdentifierSuffix -> Int

type Rep ObjectIdentifierSuffix

type Rep ObjectIdentifierSuffix = D1 * (MetaData "ObjectIdentifierSuffix" "Language.Asn.Types.Internal" "asn1-codec-0.2.0-3E2W9Jh3uiuFZyGR2Uc0Tf" True) (C1 * (MetaCons "ObjectIdentifierSuffix" PrefixI True) (S1 * (MetaSel (Just Symbol "getObjectIdentifierSuffix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector Integer))))

data Subtype a

Constructors

SubtypeSingleValue a

SubtypeValueRange a a

data StringType

Constructors

Utf8String

NumericString

PrintableString

TeletexString

VideotexString

IA5String

GraphicString

VisibleString

GeneralString

UniversalString

CharacterString

BmpString

data Explicitness

Constructors

Explicit

Implicit

data TagAndExplicitness

Constructors

TagAndExplicitness Tag Explicitness

Instances

Num TagAndExplicitness

Methods

(+) :: TagAndExplicitness -> TagAndExplicitness -> TagAndExplicitness

(-) :: TagAndExplicitness -> TagAndExplicitness -> TagAndExplicitness

(*) :: TagAndExplicitness -> TagAndExplicitness -> TagAndExplicitness

negate :: TagAndExplicitness -> TagAndExplicitness

abs :: TagAndExplicitness -> TagAndExplicitness

signum :: TagAndExplicitness -> TagAndExplicitness

fromInteger :: Integer -> TagAndExplicitness

data Choice a

Constructors

Choice (a -> b) [b] (b -> ValueAndEncoding)

Instances

Contravariant Choice

Methods

contramap :: (a -> b) -> Choice b -> Choice a

(>$) :: b -> Choice b -> Choice a

data ValueAndEncoding

Constructors

ValueAndEncoding Int OptionName b (AsnEncoding b)

data Field a

Constructors

FieldRequired FieldName (a -> b) (AsnEncoding b)

FieldOptional FieldName (a -> Maybe b) (AsnEncoding b)

FieldDefaulted FieldName (a -> b) b (b -> String) (b -> b -> Bool) (AsnEncoding b)

Instances

Contravariant Field

Methods

contramap :: (a -> b) -> Field b -> Field a

(>$) :: b -> Field b -> Field a

data TaggedByteString

Constructors

TaggedByteString !Construction !Tag !ByteString

data TaggedStrictByteString

Constructors

TaggedStrictByteString !Construction !Tag !ByteString

data Construction

Constructors

Constructed

Primitive

Instances

Eq Construction

Methods

(==) :: Construction -> Construction -> Bool

(/=) :: Construction -> Construction -> Bool

Show Construction

Methods

showsPrec :: Int -> Construction -> ShowS

show :: Construction -> String

showList :: [Construction] -> ShowS

newtype FieldName

Constructors

FieldName

Fields

• getFieldName :: String

Instances

IsString FieldName

Methods

fromString :: String -> FieldName

newtype OptionName

Constructors

OptionName

Fields

• getOptionName :: String

Instances

IsString OptionName

Methods

fromString :: String -> OptionName

data TagClass

Constructors

Universal

Application

Private

ContextSpecific

Instances

Eq TagClass

Methods

(==) :: TagClass -> TagClass -> Bool

(/=) :: TagClass -> TagClass -> Bool

Show TagClass

Methods

showsPrec :: Int -> TagClass -> ShowS

show :: TagClass -> String

showList :: [TagClass] -> ShowS

data Tag

Constructors

Tag

Fields

• tagClass :: TagClass
• tagNumber :: Int

Instances

Eq Tag

Methods

(==) :: Tag -> Tag -> Bool

(/=) :: Tag -> Tag -> Bool

Num Tag

Methods

(+) :: Tag -> Tag -> Tag

(-) :: Tag -> Tag -> Tag

(*) :: Tag -> Tag -> Tag

negate :: Tag -> Tag

abs :: Tag -> Tag

signum :: Tag -> Tag

fromInteger :: Integer -> Tag

Show Tag

Methods

showsPrec :: Int -> Tag -> ShowS

show :: Tag -> String

showList :: [Tag] -> ShowS

data AsnDecoding a

Constructors

AsnDecodingUniversal (UniverseDecoding a)

AsnDecodingSequenceOf ([b] -> a) (AsnDecoding b)

AsnDecodingConversion (AsnDecoding b) (b -> Either String a)

AsnDecodingRetag TagAndExplicitness (AsnDecoding a)

AsnDecodingSequence (FieldDecoding a)

AsnDecodingChoice [OptionDecoding a]

Instances

Functor AsnDecoding

Methods

fmap :: (a -> b) -> AsnDecoding a -> AsnDecoding b

(<$) :: a -> AsnDecoding b -> AsnDecoding a

data Ap f a where

Constructors

Pure :: a -> Ap f a

Ap :: f a -> Ap f (a -> b) -> Ap f b

Instances

Functor (Ap f)

Methods

fmap :: (a -> b) -> Ap f a -> Ap f b

(<$) :: a -> Ap f b -> Ap f a

Applicative (Ap f)

Methods

pure :: a -> Ap f a

(<*>) :: Ap f (a -> b) -> Ap f a -> Ap f b

liftA2 :: (a -> b -> c) -> Ap f a -> Ap f b -> Ap f c

(*>) :: Ap f a -> Ap f b -> Ap f b

(<*) :: Ap f a -> Ap f b -> Ap f a

data OptionDecoding a

Constructors

OptionDecoding OptionName (AsnDecoding a)

Instances

Functor OptionDecoding

Methods

fmap :: (a -> b) -> OptionDecoding a -> OptionDecoding b

(<$) :: a -> OptionDecoding b -> OptionDecoding a

newtype FieldDecoding a

Constructors

FieldDecoding (Ap FieldDecodingPart a)

Instances

Functor FieldDecoding

Methods

fmap :: (a -> b) -> FieldDecoding a -> FieldDecoding b

(<$) :: a -> FieldDecoding b -> FieldDecoding a

Applicative FieldDecoding

Methods

pure :: a -> FieldDecoding a

(<*>) :: FieldDecoding (a -> b) -> FieldDecoding a -> FieldDecoding b

liftA2 :: (a -> b -> c) -> FieldDecoding a -> FieldDecoding b -> FieldDecoding c

(*>) :: FieldDecoding a -> FieldDecoding b -> FieldDecoding b

(<*) :: FieldDecoding a -> FieldDecoding b -> FieldDecoding a

data FieldDecodingPart a

Constructors

FieldDecodingRequired FieldName (AsnDecoding a)

FieldDecodingDefault FieldName (AsnDecoding a) a (a -> String)

FieldDecodingOptional FieldName (AsnDecoding b) (Maybe b -> a)

data UniverseDecoding a

Constructors

UniverseDecodingInteger (Integer -> a) (Subtypes Integer)

UniverseDecodingTextualString StringType (Text -> a) (Subtypes Text) (Subtypes Char)

UniverseDecodingOctetString (ByteString -> a) (Subtypes ByteString)

UniverseDecodingObjectIdentifier (ObjectIdentifier -> a) (Subtypes ObjectIdentifier)

UniverseDecodingNull a

Instances

Functor UniverseDecoding

Methods

fmap :: (a -> b) -> UniverseDecoding a -> UniverseDecoding b

(<$) :: a -> UniverseDecoding b -> UniverseDecoding a

newtype DecodePart a

Constructors

DecodePart

Fields

• getDecodePart :: ByteString -> Either String (a, ByteString)

Instances

Functor DecodePart

Methods

fmap :: (a -> b) -> DecodePart a -> DecodePart b

(<$) :: a -> DecodePart b -> DecodePart a

Applicative DecodePart

Methods

pure :: a -> DecodePart a

(<*>) :: DecodePart (a -> b) -> DecodePart a -> DecodePart b

liftA2 :: (a -> b -> c) -> DecodePart a -> DecodePart b -> DecodePart c

(*>) :: DecodePart a -> DecodePart b -> DecodePart b

(<*) :: DecodePart a -> DecodePart b -> DecodePart a

runAp :: Applicative g => (forall x. f x -> g x) -> Ap f a -> g a

liftAp :: f a -> Ap f a

constructionBit :: Construction -> Word8

tagClassBit :: TagClass -> Word8

sequenceTag :: Tag

tagNumStringType :: StringType -> Int