Safe Haskell	Safe
Language	Haskell2010

Parsers

Description

This module describes the abstract tree that can be validated by Relapse.

The JSON and XML parsers both are both versions of this type class.

Synopsis

class Tree a where
data Label
- = String Text
- | Int Int
- | Uint Word
- | Double Double
- | Bool Bool
- | Bytes ByteString

Documentation

class Tree a where Source #

Tree is the type class that should be implemented by a katydid parser. This is implemented by the Json and XML parser.

Minimal complete definition

getLabel, getChildren

Methods

getLabel :: a -> Label Source #

getChildren :: a -> [a] Source #

Instances

Tree XmlTree Source #
Instance details Defined in Xml Methods getLabel :: XmlTree -> Label Source # getChildren :: XmlTree -> [XmlTree] Source #
Tree JsonTree Source #
Instance details Defined in Json Methods getLabel :: JsonTree -> Label Source # getChildren :: JsonTree -> [JsonTree] Source #

data Label Source #

Label is a tagged union of all possible value types that can returned by a katydid parser: String, Int, Uint, Double, Bool and Bytes.

Constructors

String Text
Int Int
Uint Word
Double Double
Bool Bool
Bytes ByteString

Instances

Eq Label Source #
Instance details Defined in Parsers Methods (==) :: Label -> Label -> Bool # (/=) :: Label -> Label -> Bool #
Ord Label Source #
Instance details Defined in Parsers Methods compare :: Label -> Label -> Ordering # (<) :: Label -> Label -> Bool # (<=) :: Label -> Label -> Bool # (>) :: Label -> Label -> Bool # (>=) :: Label -> Label -> Bool # max :: Label -> Label -> Label # min :: Label -> Label -> Label #
Show Label Source #
Instance details Defined in Parsers Methods showsPrec :: Int -> Label -> ShowS # show :: Label -> String # showList :: [Label] -> ShowS #
Generic Label Source #
Instance details Defined in Parsers Associated Types type Rep Label :: * -> * # Methods from :: Label -> Rep Label x # to :: Rep Label x -> Label #
NFData Label Source #
Instance details Defined in Parsers Methods rnf :: Label -> () #
Tree JsonTree Source #
Instance details Defined in Json Methods getLabel :: JsonTree -> Label Source # getChildren :: JsonTree -> [JsonTree] Source #
type Rep Label Source #
Instance details Defined in Parsers type Rep Label = D1 (MetaData "Label" "Parsers" "katydid-0.3.1.0-DnWH6iMGQ2PBLXUK8INer6" False) ((C1 (MetaCons "String" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: (C1 (MetaCons "Int" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "Uint" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)))) :+: (C1 (MetaCons "Double" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)) :+: (C1 (MetaCons "Bool" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :+: C1 (MetaCons "Bytes" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))))