Symantic.XML.Tree.Data

Documentation

newtype TreeDataPerm repr xml k

Constructors

TreeDataPerm

Fields

• unTreeDataPerm :: repr xml k

Instances

Tupable (TreeDataPerm TreeData)

Defined in Symantic.XML.Tree.Data

Methods

(<:>) :: TreeDataPerm TreeData (a -> k) k -> TreeDataPerm TreeData (b -> k) k -> TreeDataPerm TreeData ((a, b) -> k) k

Transformable (TreeDataPerm repr)

Defined in Symantic.XML.Tree.Data

Associated Types

type UnTrans (TreeDataPerm repr) :: Type -> Type -> Type

Methods

noTrans :: UnTrans (TreeDataPerm repr) a b -> TreeDataPerm repr a b

unTrans :: TreeDataPerm repr a b -> UnTrans (TreeDataPerm repr) a b

trans1 :: (UnTrans (TreeDataPerm repr) a b -> UnTrans (TreeDataPerm repr) c d) -> TreeDataPerm repr a b -> TreeDataPerm repr c d

trans2 :: (UnTrans (TreeDataPerm repr) a b -> UnTrans (TreeDataPerm repr) c d -> UnTrans (TreeDataPerm repr) e f) -> TreeDataPerm repr a b -> TreeDataPerm repr c d -> TreeDataPerm repr e f

Dimapable (TreeDataPerm TreeData)

Defined in Symantic.XML.Tree.Data

Methods

dimap :: (a -> b) -> (b -> a) -> TreeDataPerm TreeData (a -> k) k -> TreeDataPerm TreeData (b -> k) k

Composable (TreeDataPerm TreeData)

Defined in Symantic.XML.Tree.Data

Methods

(<.>) :: TreeDataPerm TreeData a b -> TreeDataPerm TreeData b c -> TreeDataPerm TreeData a c

type UnTrans (TreeDataPerm repr)

Defined in Symantic.XML.Tree.Data

type UnTrans (TreeDataPerm repr) = repr

type FileSourcedTrees = SourcedTrees (FileSource Offset)

type FileSourcedTree = SourcedTree (FileSource Offset)

type SourcedTrees src = Trees (Sourced src)

type SourcedTree src = Tree (Sourced src)

newtype TreeData params k

Constructors

TreeData

Fields

• unTreeData :: (HashMap QName (Identity EscapedAttr) -> Text -> Trees Identity -> k) -> params

Instances

Constant TreeData

Defined in Symantic.XML.Tree.Data

Methods

constant :: a -> TreeData (a -> k) k

Dicurryable TreeData

Defined in Symantic.XML.Tree.Data

Methods

dicurry :: CurryN args => proxy args -> (args -..-> r) -> (r -> Tuples args) -> TreeData (args -..-> k) k -> TreeData (r -> k) k

Eitherable TreeData

Defined in Symantic.XML.Tree.Data

Methods

(<+>) :: TreeData (a -> k) k -> TreeData (b -> k) k -> TreeData (Either a b -> k) k

Emptyable TreeData

Defined in Symantic.XML.Tree.Data

Methods

empty :: TreeData k k

Optionable TreeData

Defined in Symantic.XML.Tree.Data

Methods

option :: TreeData k k -> TreeData k k

optional :: TreeData (a -> k) k -> TreeData (Maybe a -> k) k

Repeatable TreeData

Defined in Symantic.XML.Tree.Data

Methods

many0 :: TreeData (a -> k) k -> TreeData ([a] -> k) k

many1 :: TreeData (a -> k) k -> TreeData ([a] -> k) k

Tupable TreeData

Defined in Symantic.XML.Tree.Data

Methods

(<:>) :: TreeData (a -> k) k -> TreeData (b -> k) k -> TreeData ((a, b) -> k) k

Unitable TreeData

Defined in Symantic.XML.Tree.Data

Methods

unit :: TreeData (() -> k) k

Dimapable TreeData

Defined in Symantic.XML.Tree.Data

Methods

dimap :: (a -> b) -> (b -> a) -> TreeData (a -> k) k -> TreeData (b -> k) k

Composable TreeData

Defined in Symantic.XML.Tree.Data

Methods

(<.>) :: TreeData a b -> TreeData b c -> TreeData a c

Voidable TreeData

Defined in Symantic.XML.Tree.Data

Methods

void :: a -> TreeData (a -> b) k -> TreeData b k

Permutable TreeData

Defined in Symantic.XML.Tree.Data

Associated Types

type Permutation TreeData = (r :: Type -> Type -> Type)

Methods

permutable :: Permutation TreeData (a -> k) k -> TreeData (a -> k) k

perm :: TreeData (a -> k) k -> Permutation TreeData (a -> k) k

noPerm :: Permutation TreeData k k

permWithDefault :: a -> TreeData (a -> k) k -> Permutation TreeData (a -> k) k

optionalPerm :: (Eitherable TreeData, Dimapable TreeData, Permutable TreeData) => TreeData (a -> k) k -> Permutation TreeData (Maybe a -> k) k

Textable TreeData

Defined in Symantic.XML.Tree.Data

Associated Types

type TextConstraint TreeData a :: Constraint

Methods

text :: TextConstraint TreeData a => TreeData (a -> k) k

XML TreeData

Defined in Symantic.XML.Tree.Data

Methods

namespace :: Maybe NCName -> Namespace -> TreeData k k

element :: QName -> TreeData a k -> TreeData a k

attribute :: QName -> TreeData a k -> TreeData a k

pi :: PName -> TreeData (Text -> k) k

literal :: Text -> TreeData k k

comment :: TreeData (Text -> k) k

cdata :: TreeData (Text -> k) k

Definable TreeData

Defined in Symantic.XML.Tree.Data

Methods

define :: DefineName -> TreeData a k -> TreeData a k

RelaxNG TreeData

Defined in Symantic.XML.Tree.Data

Methods

elementMatch :: NameClass -> TreeData a k -> TreeData (QName -> a) k

attributeMatch :: NameClass -> TreeData a k -> TreeData (QName -> a) k

Tupable (TreeDataPerm TreeData)

Defined in Symantic.XML.Tree.Data

Methods

(<:>) :: TreeDataPerm TreeData (a -> k) k -> TreeDataPerm TreeData (b -> k) k -> TreeDataPerm TreeData ((a, b) -> k) k

Dimapable (TreeDataPerm TreeData)

Defined in Symantic.XML.Tree.Data

Methods

dimap :: (a -> b) -> (b -> a) -> TreeDataPerm TreeData (a -> k) k -> TreeDataPerm TreeData (b -> k) k

Composable (TreeDataPerm TreeData)

Defined in Symantic.XML.Tree.Data

Methods

(<.>) :: TreeDataPerm TreeData a b -> TreeDataPerm TreeData b c -> TreeDataPerm TreeData a c

type Permutation TreeData

Defined in Symantic.XML.Tree.Data

type Permutation TreeData = TreeDataPerm TreeData

type TextConstraint TreeData a

Defined in Symantic.XML.Tree.Data

type TextConstraint TreeData a = EncodeText a

data Node attr

Constructors

NodeElem QName (HashMap QName attr)

Node.

NodePI PName Text

Leaf (except for ?xml? which has NodePI children.

NodeText EscapedText

Leaf.

NodeComment Text

Leaf.

NodeCDATA Text

Leaf.

Instances

Eq attr => Eq (Node attr)

Defined in Symantic.XML.Tree.Data

Methods

(==) :: Node attr -> Node attr -> Bool

(/=) :: Node attr -> Node attr -> Bool

Ord attr => Ord (Node attr)

Defined in Symantic.XML.Tree.Data

Methods

compare :: Node attr -> Node attr -> Ordering

(<) :: Node attr -> Node attr -> Bool

(<=) :: Node attr -> Node attr -> Bool

(>) :: Node attr -> Node attr -> Bool

(>=) :: Node attr -> Node attr -> Bool

max :: Node attr -> Node attr -> Node attr

min :: Node attr -> Node attr -> Node attr

Show attr => Show (Node attr)

Defined in Symantic.XML.Tree.Data

Methods

showsPrec :: Int -> Node attr -> ShowS

show :: Node attr -> String

showList :: [Node attr] -> ShowS

ReadConstraints src => Stream (ReadStream src)

Defined in Symantic.XML.Read

Associated Types

type Token (ReadStream src) :: Type

type Tokens (ReadStream src) :: Type

Methods

tokenToChunk :: Proxy (ReadStream src) -> Token (ReadStream src) -> Tokens (ReadStream src)

tokensToChunk :: Proxy (ReadStream src) -> [Token (ReadStream src)] -> Tokens (ReadStream src)

chunkToTokens :: Proxy (ReadStream src) -> Tokens (ReadStream src) -> [Token (ReadStream src)]

chunkLength :: Proxy (ReadStream src) -> Tokens (ReadStream src) -> Int

chunkEmpty :: Proxy (ReadStream src) -> Tokens (ReadStream src) -> Bool

take1_ :: ReadStream src -> Maybe (Token (ReadStream src), ReadStream src)

takeN_ :: Int -> ReadStream src -> Maybe (Tokens (ReadStream src), ReadStream src)

takeWhile_ :: (Token (ReadStream src) -> Bool) -> ReadStream src -> (Tokens (ReadStream src), ReadStream src)

showTokens :: Proxy (ReadStream src) -> NonEmpty (Token (ReadStream src)) -> String

tokensLength :: Proxy (ReadStream src) -> NonEmpty (Token (ReadStream src)) -> Int

reachOffset :: Int -> PosState (ReadStream src) -> (String, PosState (ReadStream src))

reachOffsetNoLine :: Int -> PosState (ReadStream src) -> PosState (ReadStream src)

type Tokens (ReadStream src)

Defined in Symantic.XML.Read

type Tokens (ReadStream src) = ReadStream src

type Token (ReadStream src)

Defined in Symantic.XML.Read

type Token (ReadStream src) = Either (HashMap QName (src EscapedAttr)) (Tree src)

type Trees src = Trees (src (Node (src EscapedAttr)))

type Tree src = Tree (src (Node (src EscapedAttr)))

pattern Tree0 :: a -> Tree a

tree :: TreeData callers (Trees Identity) -> callers

union :: Semigroup (Sourced src EscapedText) => SourcedTrees src -> SourcedTrees src -> SourcedTrees src

Unify two Trees, merging border NodeTexts if any.

unions :: Semigroup (Sourced src EscapedText) => Foldable f => f (SourcedTrees src) -> SourcedTrees src

unTree :: Tree a -> a

subTrees :: Tree a -> Trees a