Z.Data.YAML.FFI

LibYAML bindings, which provide streaming YAML read & write.

The event stream

data MarkedEvent

Constructors

MarkedEvent

Fields

• markedEvent :: !Event
• startMark :: !Mark
• endMark :: !Mark

Instances

Eq MarkedEvent

Defined in Z.Data.YAML.FFI

Methods

(==) :: MarkedEvent -> MarkedEvent -> Bool

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

Ord MarkedEvent

Defined in Z.Data.YAML.FFI

Methods

compare :: MarkedEvent -> MarkedEvent -> Ordering

(<) :: MarkedEvent -> MarkedEvent -> Bool

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

(>) :: MarkedEvent -> MarkedEvent -> Bool

(>=) :: MarkedEvent -> MarkedEvent -> Bool

max :: MarkedEvent -> MarkedEvent -> MarkedEvent

min :: MarkedEvent -> MarkedEvent -> MarkedEvent

Show MarkedEvent

Defined in Z.Data.YAML.FFI

Methods

showsPrec :: Int -> MarkedEvent -> ShowS

show :: MarkedEvent -> String

showList :: [MarkedEvent] -> ShowS

Generic MarkedEvent

Defined in Z.Data.YAML.FFI

Associated Types

type Rep MarkedEvent :: Type -> Type

Methods

from :: MarkedEvent -> Rep MarkedEvent x

to :: Rep MarkedEvent x -> MarkedEvent

ToValue MarkedEvent

Defined in Z.Data.YAML.FFI

Methods

toValue :: MarkedEvent -> Value

EncodeJSON MarkedEvent

Defined in Z.Data.YAML.FFI

Methods

encodeJSON :: MarkedEvent -> Builder ()

FromValue MarkedEvent

Defined in Z.Data.YAML.FFI

Methods

fromValue :: Value -> Converter MarkedEvent

ShowT MarkedEvent

Defined in Z.Data.YAML.FFI

Methods

toUTF8BuilderP :: Int -> MarkedEvent -> Builder ()

type Rep MarkedEvent

Defined in Z.Data.YAML.FFI

type Rep MarkedEvent = D1 ('MetaData "MarkedEvent" "Z.Data.YAML.FFI" "Z-YAML-0.1.0.0-9s3yJPeTIfnHYFQzctMYUL" 'False) (C1 ('MetaCons "MarkedEvent" 'PrefixI 'True) (S1 ('MetaSel ('Just "markedEvent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Event) :*: (S1 ('MetaSel ('Just "startMark") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Mark) :*: S1 ('MetaSel ('Just "endMark") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Mark))))

data Mark

The pointer position

Constructors

Mark

Fields

• yamlIndex :: !Int
• yamlLine :: !Int
• yamlColumn :: !Int

Instances

Eq Mark

Defined in Z.Data.YAML.FFI

Methods

(==) :: Mark -> Mark -> Bool

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

Ord Mark

Defined in Z.Data.YAML.FFI

Methods

compare :: Mark -> Mark -> Ordering

(<) :: Mark -> Mark -> Bool

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

(>) :: Mark -> Mark -> Bool

(>=) :: Mark -> Mark -> Bool

max :: Mark -> Mark -> Mark

min :: Mark -> Mark -> Mark

Show Mark

Defined in Z.Data.YAML.FFI

Methods

showsPrec :: Int -> Mark -> ShowS

show :: Mark -> String

showList :: [Mark] -> ShowS

Generic Mark

Defined in Z.Data.YAML.FFI

Associated Types

type Rep Mark :: Type -> Type

Methods

from :: Mark -> Rep Mark x

to :: Rep Mark x -> Mark

ToValue Mark

Defined in Z.Data.YAML.FFI

Methods

toValue :: Mark -> Value

EncodeJSON Mark

Defined in Z.Data.YAML.FFI

Methods

encodeJSON :: Mark -> Builder ()

FromValue Mark

Defined in Z.Data.YAML.FFI

Methods

fromValue :: Value -> Converter Mark

ShowT Mark

Defined in Z.Data.YAML.FFI

Methods

toUTF8BuilderP :: Int -> Mark -> Builder ()

type Rep Mark

Defined in Z.Data.YAML.FFI

type Rep Mark = D1 ('MetaData "Mark" "Z.Data.YAML.FFI" "Z-YAML-0.1.0.0-9s3yJPeTIfnHYFQzctMYUL" 'False) (C1 ('MetaCons "Mark" 'PrefixI 'True) (S1 ('MetaSel ('Just "yamlIndex") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Just "yamlLine") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "yamlColumn") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int))))

data Event

Constructors

EventStreamStart

EventStreamEnd

EventDocumentStart

EventDocumentEnd

EventAlias !Anchor

EventScalar !Anchor !Text !Tag !ScalarStyle

EventSequenceStart !Anchor !Tag !SequenceStyle

EventSequenceEnd

EventMappingStart !Anchor !Tag !MappingStyle

EventMappingEnd

Instances

Eq Event

Defined in Z.Data.YAML.FFI

Methods

(==) :: Event -> Event -> Bool

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

Ord Event

Defined in Z.Data.YAML.FFI

Methods

compare :: Event -> Event -> Ordering

(<) :: Event -> Event -> Bool

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

(>) :: Event -> Event -> Bool

(>=) :: Event -> Event -> Bool

max :: Event -> Event -> Event

min :: Event -> Event -> Event

Show Event

Defined in Z.Data.YAML.FFI

Methods

showsPrec :: Int -> Event -> ShowS

show :: Event -> String

showList :: [Event] -> ShowS

Generic Event

Defined in Z.Data.YAML.FFI

Associated Types

type Rep Event :: Type -> Type

Methods

from :: Event -> Rep Event x

to :: Rep Event x -> Event

ToValue Event

Defined in Z.Data.YAML.FFI

Methods

toValue :: Event -> Value

EncodeJSON Event

Defined in Z.Data.YAML.FFI

Methods

encodeJSON :: Event -> Builder ()

FromValue Event

Defined in Z.Data.YAML.FFI

Methods

fromValue :: Value -> Converter Event

ShowT Event

Defined in Z.Data.YAML.FFI

Methods

toUTF8BuilderP :: Int -> Event -> Builder ()

type Rep Event

Defined in Z.Data.YAML.FFI

type Rep Event = D1 ('MetaData "Event" "Z.Data.YAML.FFI" "Z-YAML-0.1.0.0-9s3yJPeTIfnHYFQzctMYUL" 'False) (((C1 ('MetaCons "EventStreamStart" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EventStreamEnd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EventDocumentStart" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EventDocumentEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EventAlias" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor))))) :+: ((C1 ('MetaCons "EventScalar" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Tag) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScalarStyle))) :+: C1 ('MetaCons "EventSequenceStart" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Tag) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SequenceStyle)))) :+: (C1 ('MetaCons "EventSequenceEnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EventMappingStart" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Anchor) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Tag) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MappingStyle))) :+: C1 ('MetaCons "EventMappingEnd" 'PrefixI 'False) (U1 :: Type -> Type)))))

data Tag

Constructors

StrTag

FloatTag

NullTag

BoolTag

SetTag

IntTag

SeqTag

MapTag

UriTag Text

NoTag

Instances

Eq Tag

Defined in Z.Data.YAML.FFI

Methods

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

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

Ord Tag

Defined in Z.Data.YAML.FFI

Methods

compare :: Tag -> Tag -> Ordering

(<) :: Tag -> Tag -> Bool

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

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

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

max :: Tag -> Tag -> Tag

min :: Tag -> Tag -> Tag

Show Tag

Defined in Z.Data.YAML.FFI

Methods

showsPrec :: Int -> Tag -> ShowS

show :: Tag -> String

showList :: [Tag] -> ShowS

Generic Tag

Defined in Z.Data.YAML.FFI

Associated Types

type Rep Tag :: Type -> Type

Methods

from :: Tag -> Rep Tag x

to :: Rep Tag x -> Tag

ToValue Tag

Defined in Z.Data.YAML.FFI

Methods

toValue :: Tag -> Value

EncodeJSON Tag

Defined in Z.Data.YAML.FFI

Methods

encodeJSON :: Tag -> Builder ()

FromValue Tag

Defined in Z.Data.YAML.FFI

Methods

fromValue :: Value -> Converter Tag

ShowT Tag

Defined in Z.Data.YAML.FFI

Methods

toUTF8BuilderP :: Int -> Tag -> Builder ()

type Rep Tag

Defined in Z.Data.YAML.FFI

type Rep Tag = D1 ('MetaData "Tag" "Z.Data.YAML.FFI" "Z-YAML-0.1.0.0-9s3yJPeTIfnHYFQzctMYUL" 'False) (((C1 ('MetaCons "StrTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FloatTag" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NullTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BoolTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SetTag" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "IntTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SeqTag" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MapTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UriTag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "NoTag" 'PrefixI 'False) (U1 :: Type -> Type)))))

type Anchor = Text

Decoding

initParser :: HasCallStack => Bytes -> Resource (Source MarkedEvent)

Create a source that yields marked events from a piece of YAML bytes.

initFileParser :: HasCallStack => CBytes -> Resource (Source MarkedEvent)

Create a source that yields marked events from a piece of YAML bytes.

Encoding

data YAMLFormatOpts

Contains options relating to the formatting (indendation, width) of the YAML output.

Constructors

YAMLFormatOpts

Fields

• yamlFormatCanonical :: Bool

  use canonical style, default False

• yamlFormatIndent :: Int

  default 4

• yamlFormatWidth :: Int

  default 80

• yamlFormatRenderTags :: Event -> TagRender

initEmitter :: HasCallStack => YAMLFormatOpts -> Resource (Ptr EmitterStruct, Sink Event)

Make a new YAML event sink, whose result can be fetched via getEmitterResult.

initFileEmitter :: HasCallStack => YAMLFormatOpts -> CBytes -> Resource (Sink Event)

Make a new YAML event sink, whose result are written to a file.

Note the file will be opened in O_APPEND .|. O_CREAT .|. O_WRONLY mode, bytes will be written after the end of the original file if there'are old bytes.

getEmitterResult :: Ptr EmitterStruct -> IO Text

Fetch YAML emitter's building buffer.

defaultYAMLFormatOpts :: YAMLFormatOpts

renderScalarTags :: Event -> TagRender

A value for formatOptionsRenderTags that renders no collection tags but all scalar tags (unless suppressed with styles 'NoTag or PlainNoTag).

renderAllTags :: Event -> TagRender

A value for formatOptionsRenderTags that renders all tags (except NoTag tag and PlainNoTag style).

renderNoTags :: Event -> TagRender

A value for formatOptionsRenderTags that renders no tags.

renderUriTags :: Event -> TagRender

Constants

type ScalarStyle = CInt

Style for scalars - e.g. quoted / folded

pattern Any :: ScalarStyle

pattern Plain :: ScalarStyle

pattern SingleQuoted :: ScalarStyle

pattern DoubleQuoted :: ScalarStyle

pattern Literal :: ScalarStyle

pattern Folded :: ScalarStyle

pattern PlainNoTag :: ScalarStyle

type SequenceStyle = CInt

Style for sequences - e.g. block or flow

pattern AnySequence :: SequenceStyle

pattern BlockSequence :: SequenceStyle

pattern FlowSequence :: SequenceStyle

type MappingStyle = CInt

Style for mappings - e.g. block or flow

pattern AnyMapping :: MappingStyle

pattern BlockMapping :: MappingStyle

pattern FlowMapping :: MappingStyle

Exception type

data LibYAMLException

Constructors

ParseEventException CBytes CBytes Mark CallStack

problem, context, mark

ParseAliasEventWithEmptyAnchor Mark Mark CallStack

EmitEventException Event CInt CallStack

EmitAliasEventWithEmptyAnchor CallStack

Instances

Show LibYAMLException

Defined in Z.Data.YAML.FFI

Methods

showsPrec :: Int -> LibYAMLException -> ShowS

show :: LibYAMLException -> String

showList :: [LibYAMLException] -> ShowS

Exception LibYAMLException

Defined in Z.Data.YAML.FFI

Methods

toException :: LibYAMLException -> SomeException

fromException :: SomeException -> Maybe LibYAMLException

displayException :: LibYAMLException -> String