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

Defined in Language.Asn.Types.Internal

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

Defined in Language.Asn.Types.Internal

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)

Defined in Language.Asn.Types.Internal

Methods

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

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

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

Monoid (Subtypes a)

Defined in Language.Asn.Types.Internal

Methods

mempty :: Subtypes a

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

mconcat :: [Subtypes a] -> Subtypes a

newtype ObjectIdentifier

Note: we deviate slightly from the actual definition of an object identifier. Technically, each number of an OID should be allowed to be an integer of unlimited size. However, we are intentionally unfaithful to this specification because in practice, there are no OIDs that use integers above a 32-bit word, so we just use the machine's native word size.

Constructors

ObjectIdentifier

Fields

• getObjectIdentifier :: PrimArray Word

Instances

Eq ObjectIdentifier

Defined in Language.Asn.Types.Internal

Methods

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

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

Ord ObjectIdentifier

Defined in Language.Asn.Types.Internal

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

Show ObjectIdentifier

Defined in Language.Asn.Types.Internal

Methods

showsPrec :: Int -> ObjectIdentifier -> ShowS

show :: ObjectIdentifier -> String

showList :: [ObjectIdentifier] -> ShowS

Generic ObjectIdentifier

Defined in Language.Asn.Types.Internal

Associated Types

type Rep ObjectIdentifier :: Type -> Type

Methods

from :: ObjectIdentifier -> Rep ObjectIdentifier x

to :: Rep ObjectIdentifier x -> ObjectIdentifier

Hashable ObjectIdentifier

Defined in Language.Asn.Types.Internal

Methods

hashWithSalt :: Int -> ObjectIdentifier -> Int

hash :: ObjectIdentifier -> Int

type Rep ObjectIdentifier

Defined in Language.Asn.Types.Internal

type Rep ObjectIdentifier = D1 (MetaData "ObjectIdentifier" "Language.Asn.Types.Internal" "language-asn-0.1.0.0-CEYoCnbWRHKC4EXbCHGksq" True) (C1 (MetaCons "ObjectIdentifier" PrefixI True) (S1 (MetaSel (Just "getObjectIdentifier") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (PrimArray Word))))

newtype ObjectIdentifierSuffix

Constructors

ObjectIdentifierSuffix

Fields

• getObjectIdentifierSuffix :: PrimArray Word

Instances

Eq ObjectIdentifierSuffix

Defined in Language.Asn.Types.Internal

Methods

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

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

Ord ObjectIdentifierSuffix

Defined in Language.Asn.Types.Internal

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

Show ObjectIdentifierSuffix

Defined in Language.Asn.Types.Internal

Methods

showsPrec :: Int -> ObjectIdentifierSuffix -> ShowS

show :: ObjectIdentifierSuffix -> String

showList :: [ObjectIdentifierSuffix] -> ShowS

Generic ObjectIdentifierSuffix

Defined in Language.Asn.Types.Internal

Associated Types

type Rep ObjectIdentifierSuffix :: Type -> Type

Methods

from :: ObjectIdentifierSuffix -> Rep ObjectIdentifierSuffix x

to :: Rep ObjectIdentifierSuffix x -> ObjectIdentifierSuffix

Hashable ObjectIdentifierSuffix

Defined in Language.Asn.Types.Internal

Methods

hashWithSalt :: Int -> ObjectIdentifierSuffix -> Int

hash :: ObjectIdentifierSuffix -> Int

type Rep ObjectIdentifierSuffix

Defined in Language.Asn.Types.Internal

type Rep ObjectIdentifierSuffix = D1 (MetaData "ObjectIdentifierSuffix" "Language.Asn.Types.Internal" "language-asn-0.1.0.0-CEYoCnbWRHKC4EXbCHGksq" True) (C1 (MetaCons "ObjectIdentifierSuffix" PrefixI True) (S1 (MetaSel (Just "getObjectIdentifierSuffix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (PrimArray Word))))

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

data Choice a

Constructors

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

Instances

Contravariant Choice

Defined in Language.Asn.Types.Internal

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

Defined in Language.Asn.Types.Internal

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

Defined in Language.Asn.Types.Internal

Methods

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

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

Show Construction

Defined in Language.Asn.Types.Internal

Methods

showsPrec :: Int -> Construction -> ShowS

show :: Construction -> String

showList :: [Construction] -> ShowS

newtype FieldName

Constructors

FieldName

Fields

• getFieldName :: String

Instances

IsString FieldName

Defined in Language.Asn.Types.Internal

Methods

fromString :: String -> FieldName

newtype OptionName

Constructors

OptionName

Fields

• getOptionName :: String

Instances

IsString OptionName

Defined in Language.Asn.Types.Internal

Methods

fromString :: String -> OptionName

data TagClass

Constructors

Universal

Application

Private

ContextSpecific

Instances

Eq TagClass

Defined in Language.Asn.Types.Internal

Methods

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

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

Show TagClass

Defined in Language.Asn.Types.Internal

Methods

showsPrec :: Int -> TagClass -> ShowS

show :: TagClass -> String

showList :: [TagClass] -> ShowS

data Tag

Constructors

Tag

Fields

• tagClass :: TagClass
• tagNumber :: Int

Instances

Eq Tag

Defined in Language.Asn.Types.Internal

Methods

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

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

Show Tag

Defined in Language.Asn.Types.Internal

Methods

showsPrec :: Int -> Tag -> ShowS

show :: Tag -> String

showList :: [Tag] -> ShowS

fromIntegerTagAndExplicitness :: Integer -> TagAndExplicitness

fromIntegerTag :: Integer -> Tag

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

Defined in Language.Asn.Types.Internal

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)

Defined in Language.Asn.Types.Internal

Methods

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

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

Applicative (Ap f)

Defined in Language.Asn.Types.Internal

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

Defined in Language.Asn.Types.Internal

Methods

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

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

newtype FieldDecoding a

Constructors

FieldDecoding (Ap FieldDecodingPart a)

Instances

Functor FieldDecoding

Defined in Language.Asn.Types.Internal

Methods

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

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

Applicative FieldDecoding

Defined in Language.Asn.Types.Internal

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

Defined in Language.Asn.Types.Internal

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

Defined in Language.Asn.Types.Internal

Methods

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

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

Applicative DecodePart

Defined in Language.Asn.Types.Internal

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