-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | YAML reference implementation
--   
--   This package contains "the" reference YAML syntax parser
--   (<a>Text.Yaml.Reference</a>), generated directly from the YAML
--   specifications, as well as sample program (<tt>yaml2yeast</tt>) that
--   allows accessing it from the command line, converting YAML files to
--   YEAST tokens. This is intended to be more of an "executable
--   specification" for YAML rather than an actual basis for YAML tool
--   chains. That said, it is possible to build interesting tools on top of
--   it, such as the <tt>yeast2html</tt> YAML syntax visualizer (contained
--   in this package), pretty printers, etc. This is a streaming parser
--   that will "immediately" begin to generate output. Updated to be
--   compatible with the final Apr 1, 2009 YAML 1.2 spec.
@package YamlReference
@version 0.10.0


-- | Implementation of the YAML syntax as defined in
--   <a>http://www.yaml.org</a>. Actually this file contains the parsing
--   framework and includes (using CPP) the actual productions from
--   <tt>Reference.bnf</tt>.
--   
--   The parsing framework is fully streaming (generates output tokens
--   "immediately").
module Text.Yaml.Reference

-- | <a>Token</a> codes.
data Code

-- | BOM, contains "<tt>TF8</tt>", "<tt>TF16LE</tt>", "<tt>TF32BE</tt>",
--   etc.
Bom :: Code

-- | Content text characters.
Text :: Code

-- | Non-content (meta) text characters.
Meta :: Code

-- | Separation line break.
Break :: Code

-- | Line break normalized to content line feed.
LineFeed :: Code

-- | Line break folded to content space.
LineFold :: Code

-- | Character indicating structure.
Indicator :: Code

-- | Separation white space.
White :: Code

-- | Indentation spaces.
Indent :: Code

-- | Document start marker.
DirectivesEnd :: Code

-- | Document end marker.
DocumentEnd :: Code

-- | Begins escape sequence.
BeginEscape :: Code

-- | Ends escape sequence.
EndEscape :: Code

-- | Begins comment.
BeginComment :: Code

-- | Ends comment.
EndComment :: Code

-- | Begins directive.
BeginDirective :: Code

-- | Ends directive.
EndDirective :: Code

-- | Begins tag.
BeginTag :: Code

-- | Ends tag.
EndTag :: Code

-- | Begins tag handle.
BeginHandle :: Code

-- | Ends tag handle.
EndHandle :: Code

-- | Begins anchor.
BeginAnchor :: Code

-- | Ends anchor.
EndAnchor :: Code

-- | Begins node properties.
BeginProperties :: Code

-- | Ends node properties.
EndProperties :: Code

-- | Begins alias.
BeginAlias :: Code

-- | Ends alias.
EndAlias :: Code

-- | Begins scalar content.
BeginScalar :: Code

-- | Ends scalar content.
EndScalar :: Code

-- | Begins sequence content.
BeginSequence :: Code

-- | Ends sequence content.
EndSequence :: Code

-- | Begins mapping content.
BeginMapping :: Code

-- | Ends mapping content.
EndMapping :: Code

-- | Begins mapping key:value pair.
BeginPair :: Code

-- | Ends mapping key:value pair.
EndPair :: Code

-- | Begins complete node.
BeginNode :: Code

-- | Ends complete node.
EndNode :: Code

-- | Begins document.
BeginDocument :: Code

-- | Ends document.
EndDocument :: Code

-- | Begins YAML stream.
BeginStream :: Code

-- | Ends YAML stream.
EndStream :: Code

-- | Parsing error at this point.
Error :: Code

-- | Unparsed due to errors (or at end of test).
Unparsed :: Code

-- | Detected parameter (for testing).
Detected :: Code

-- | Parsed token.
data Token

-- | <a>Tokenizer</a> converts a (named) input text into a list of
--   <a>Token</a>. Errors are reported as tokens with the <tt>Error</tt>
--   <a>Code</a>, and the unparsed text following an error may be attached
--   as a final token (if the <tt>Bool</tt> is <tt>True</tt>). Note that
--   tokens are available "immediately", allowing for streaming of large
--   YAML files with memory requirements depending only on the YAML nesting
--   level.
type Tokenizer = String -> ByteString -> Bool -> [Token]

-- | <tt>yaml name input</tt> converts the Unicode <i>input</i> (called
--   <i>name</i> in error messages) to a list of <a>Token</a> according to
--   the YAML spec. This is it!
yaml :: Tokenizer

-- | Production context.
data Context

-- | Chomp method.
data Chomp

-- | <tt>tokenizer name</tt> converts the production with the specified
--   <i>name</i> to a simple <a>Tokenizer</a>, or <tt>Nothing</tt> if it
--   isn't known.
tokenizer :: String -> (Maybe Tokenizer)

-- | <tt>tokenizerWithN name n</tt> converts the production (that requires
--   an <i>n</i> argument) with the specified <i>name</i> to a simple
--   <a>Tokenizer</a>, or <tt>Nothing</tt> if it isn't known.
tokenizerWithN :: String -> Int -> Maybe Tokenizer

-- | <tt>tokenizerWithC name c</tt> converts the production (that requires
--   a <i>c</i> argument) with the specified <i>name</i> to a simple
--   <a>Tokenizer</a>, or <tt>Nothing</tt> if it isn't known.
tokenizerWithC :: String -> Context -> Maybe Tokenizer

-- | <tt>tokenizerWithT name t</tt> converts the production (that requires
--   an <i>t</i> argument) with the specified <i>name</i> to a simple
--   <a>Tokenizer</a>, or <tt>Nothing</tt> if it isn't known.
tokenizerWithT :: String -> Chomp -> Maybe Tokenizer

-- | <tt>tokenizerWithNC name n c</tt> converts the production (that
--   requires <i>n</i> and <i>c</i> arguments) with the specified
--   <i>name</i> to a simple <a>Tokenizer</a>, or <tt>Nothing</tt> if it
--   isn't known.
tokenizerWithNC :: String -> Int -> Context -> Maybe Tokenizer

-- | <tt>tokenizerWithNT name n t</tt> converts the production (that
--   requires <i>n</i> and <i>t</i> arguments) with the specified
--   <i>name</i> to a simple <a>Tokenizer</a>, or <tt>Nothing</tt> if it
--   isn't known.
tokenizerWithNT :: String -> Int -> Chomp -> Maybe Tokenizer

-- | <tt>tokenizerNames</tt> returns the list of all productions
--   (tokenizers).
tokenizerNames :: [String]

-- | <tt>showTokens tokens</tt> converts a list of <i>tokens</i> to a
--   multi-line YEAST text.
showTokens :: [Token] -> String
instance GHC.Classes.Eq Text.Yaml.Reference.Code
instance GHC.Show.Show Text.Yaml.Reference.Encoding
instance GHC.Show.Show Text.Yaml.Reference.Code
instance GHC.Show.Show Text.Yaml.Reference.Token
instance GHC.Show.Show result => GHC.Show.Show (Text.Yaml.Reference.Result result)
instance GHC.Show.Show result => GHC.Show.Show (Text.Yaml.Reference.Reply result)
instance GHC.Show.Show Text.Yaml.Reference.State
instance Text.Yaml.Reference.Match (Text.Yaml.Reference.Parser result) result
instance Text.Yaml.Reference.Match GHC.Types.Char ()
instance Text.Yaml.Reference.Match (GHC.Types.Char, GHC.Types.Char) ()
instance Text.Yaml.Reference.Match GHC.Base.String ()
instance GHC.Base.Functor Text.Yaml.Reference.Parser
instance GHC.Base.Applicative Text.Yaml.Reference.Parser
instance GHC.Base.Monad Text.Yaml.Reference.Parser
instance GHC.Show.Show Text.Yaml.Reference.Context
instance GHC.Read.Read Text.Yaml.Reference.Context
instance GHC.Show.Show Text.Yaml.Reference.Chomp
instance GHC.Read.Read Text.Yaml.Reference.Chomp