Idris2Doc : Text.YAML.Compose

Text.YAML.Compose

(source)

Reexports

import public Text.YAML.Node
import public Text.YAML.Types

Definitions

composeWith : Schema -> List (Bounded Event) -> Either (BoundedErr YErr) (List Node)
  Composes an event stream into one node tree per document: aliases
are substituted by the nodes they reference (sharing structure),
tags of untagged nodes are resolved against the given schema, and
mapping keys are checked for uniqueness. Anchors are scoped to
their document; redefining an anchor shadows the previous node.

Errors carry the source bounds of the events they refer to; pair
them with the (line break normalized) input via `toParseError` for
a rendered excerpt, or use `parseDocsWith`, which does so.

Totality: total
Visibility: export
compose : List (Bounded Event) -> Either (BoundedErr YErr) (List Node)
  `composeWith` under the core schema.

Totality: total
Visibility: export
parseDocsWith : Schema -> Origin -> String -> Either (ParseError YErr) (List Node)
  Parses and composes a YAML stream into one node tree per document.

Totality: total
Visibility: export
parseDocs : Origin -> String -> Either (ParseError YErr) (List Node)
  `parseDocsWith` under the core schema.

Totality: total
Visibility: export