Codec.MIME.ContentType.Text.Directory

Documentation

type Directory u = [Property u]

data Property u

Constructors

Prop

Fields

prop_type :: Type

prop_parameters :: [Parameter]

prop_value :: Value u

Instances

Show u => Show (Property u)

data Type

Constructors

Type

Fields

type_group :: Maybe ByteString

type_name :: ByteString

Instances

Eq Type

Ord Type

Show Type

data Parameter

Constructors

Param

Fields

param_name :: ByteString

param_value :: ByteString

Instances

Show Parameter

data Value u

Constructors

URI URI

Text ByteString

Date Day

Time DiffTime

DateTime UTCTime

Integer Integer

Boolean Bool

Float Float

IANAValue u

Instances

Eq u => Eq (Value u)

Show u => Show (Value u)

PrintValue u => PrintValue (Value u)

data Rfc2425Types

Instantiate Value with this phantom type to indicate that property types should be none other than those defined in rfc2425.

Instances

Show Rfc2425Types

PrintValue Rfc2425Types

type ValueParser u = (Type, [Parameter]) -> ByteString -> [Value u]

The type of parsers for property values, for instance to read an integer property, text property, etc.

nakedType :: ByteString -> Type

Make a property type without any grouping.

(@@) :: Property u -> ByteString -> Bool

Check whether the given property is an instance of the given type.

parseDirectory

Arguments

:: ValueParser u

Given a Property Type and a list of parameters, parse a string representation into a Value.

-> ByteString

-> Directory u

pa_URI :: ValueParser u

pa_text :: ValueParser u

Unescape slashes, newlines and commas.

pa_date :: ValueParser u

pa_time :: ValueParser u

pa_dateTime :: ValueParser u

pa_integer :: ValueParser u

pa_bool :: ValueParser u

pa_float :: ValueParser u

pa_textList :: ValueParser u

many :: ValueParser u -> ValueParser u

Take a parser for single values to a parser for a list of values. This assumes that the separator between values is the , character, and that values do not contain commas themselves.

printDirectory :: PrintValue u => [Property u] -> ByteString

printProperty :: PrintValue u => Property u -> ByteString