Safe Haskell	None
Language	Haskell2010

Symantic.XML.Tree.Source

Contents

Type family Source
Class NoSource
Class UnSource
Class SourceOf
Type FileSource
- Type FileSourced
- Type FileRange
  - Type Offset
  - Type LineColumn
Type Sourced

Synopsis

type family Source (src :: * -> *) :: *
class NoSource src where
- noSource :: a -> src a
- nullSource :: Source src -> Bool
class UnSource src where
- unSource :: src a -> a
class SourceOf src where
- sourceOf :: src a -> Source src
newtype FileSource pos = FileSource (NonEmpty (FileRange pos))
type FileSourced = Sourced (FileSource Offset)
data FileRange pos = FileRange {
- fileRange_path :: FilePath
- fileRange_begin :: pos
- fileRange_end :: pos
}
newtype Offset = Offset Int
data LineColumn = LineColumn {
- lineNum :: Offset
- colNum :: Offset
}
data Sourced src a = Sourced {
- source :: src
- unSourced :: a
}

Type family `Source`

type family Source (src :: * -> *) :: * Source #

Instances

type Source Identity Source #
Instance details Defined in Symantic.XML.Tree.Source type Source Identity = ()
type Source (Sourced src) Source #
Instance details Defined in Symantic.XML.Tree.Source type Source (Sourced src) = src

Class `NoSource`

class NoSource src where Source #

Minimal complete definition

noSource

Methods

noSource :: a -> src a Source #

nullSource :: Source src -> Bool Source #

nullSource :: Eq (Source src) => SourceOf src => Source src -> Bool Source #

Instances

NoSource Identity Source #
Instance details Defined in Symantic.XML.Tree.Source Methods noSource :: a -> Identity a Source # nullSource :: Source Identity -> Bool Source #
NoSource (Sourced (FileSource Offset)) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods noSource :: a -> Sourced (FileSource Offset) a Source # nullSource :: Source (Sourced (FileSource Offset)) -> Bool Source #

Class `UnSource`

class UnSource src where Source #

Methods

unSource :: src a -> a Source #

Instances

UnSource Identity Source #
Instance details Defined in Symantic.XML.Tree.Source Methods unSource :: Identity a -> a Source #
UnSource (Sourced src) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods unSource :: Sourced src a -> a Source #

Class `SourceOf`

class SourceOf src where Source #

Methods

sourceOf :: src a -> Source src Source #

Instances

SourceOf Identity Source #
Instance details Defined in Symantic.XML.Tree.Source Methods sourceOf :: Identity a -> Source Identity Source #
SourceOf (Sourced src) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods sourceOf :: Sourced src a -> Source (Sourced src) Source #

Type `FileSource`

newtype FileSource pos Source #

Constructors

FileSource (NonEmpty (FileRange pos))

Instances

Eq pos => Eq (FileSource pos) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods (==) :: FileSource pos -> FileSource pos -> Bool # (/=) :: FileSource pos -> FileSource pos -> Bool #
Show (FileRange pos) => Show (FileSource pos) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods showsPrec :: Int -> FileSource pos -> ShowS # show :: FileSource pos -> String # showList :: [FileSource pos] -> ShowS #
NoSource (Sourced (FileSource Offset)) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods noSource :: a -> Sourced (FileSource Offset) a Source # nullSource :: Source (Sourced (FileSource Offset)) -> Bool Source #
Semigroup a => Semigroup (Sourced (FileSource Offset) a) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods (<>) :: Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a # sconcat :: NonEmpty (Sourced (FileSource Offset) a) -> Sourced (FileSource Offset) a # stimes :: Integral b => b -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a #
Ord err => Textable (Read FileSourced err) Source #
Instance details Defined in Symantic.XML.Read Associated Types type TextConstraint (Read FileSourced err) a :: Constraint Source # Methods text :: TextConstraint (Read FileSourced err) a => Read FileSourced err (a -> k) k Source #
Ord err => Definable (Read FileSourced err) Source #
Instance details Defined in Symantic.XML.Read Methods define :: DefineName -> Read FileSourced err a k -> Read FileSourced err a k Source #
type TextConstraint (Read FileSourced err) a Source #
Instance details Defined in Symantic.XML.Read type TextConstraint (Read FileSourced err) a = DecodeText a

Type `FileSourced`

type FileSourced = Sourced (FileSource Offset) Source #

Type `FileRange`

data FileRange pos Source #

Constructors

FileRange
Fields fileRange_path :: FilePath fileRange_begin :: pos fileRange_end :: pos

Instances

Eq pos => Eq (FileRange pos) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods (==) :: FileRange pos -> FileRange pos -> Bool # (/=) :: FileRange pos -> FileRange pos -> Bool #
Ord pos => Ord (FileRange pos) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods compare :: FileRange pos -> FileRange pos -> Ordering # (<) :: FileRange pos -> FileRange pos -> Bool # (<=) :: FileRange pos -> FileRange pos -> Bool # (>) :: FileRange pos -> FileRange pos -> Bool # (>=) :: FileRange pos -> FileRange pos -> Bool # max :: FileRange pos -> FileRange pos -> FileRange pos # min :: FileRange pos -> FileRange pos -> FileRange pos #
Show (FileRange LineColumn) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods showsPrec :: Int -> FileRange LineColumn -> ShowS # show :: FileRange LineColumn -> String # showList :: [FileRange LineColumn] -> ShowS #
Show (FileRange Offset) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods showsPrec :: Int -> FileRange Offset -> ShowS # show :: FileRange Offset -> String # showList :: [FileRange Offset] -> ShowS #

Type `Offset`

newtype Offset Source #

Constructors

Offset Int

Instances

Eq Offset Source #
Instance details Defined in Symantic.XML.Tree.Source Methods (==) :: Offset -> Offset -> Bool # (/=) :: Offset -> Offset -> Bool #
Ord Offset Source #
Instance details Defined in Symantic.XML.Tree.Source Methods compare :: Offset -> Offset -> Ordering # (<) :: Offset -> Offset -> Bool # (<=) :: Offset -> Offset -> Bool # (>) :: Offset -> Offset -> Bool # (>=) :: Offset -> Offset -> Bool # max :: Offset -> Offset -> Offset # min :: Offset -> Offset -> Offset #
Show Offset Source #
Instance details Defined in Symantic.XML.Tree.Source Methods showsPrec :: Int -> Offset -> ShowS # show :: Offset -> String # showList :: [Offset] -> ShowS #
Semigroup Offset Source #
Instance details Defined in Symantic.XML.Tree.Source Methods (<>) :: Offset -> Offset -> Offset # sconcat :: NonEmpty Offset -> Offset # stimes :: Integral b => b -> Offset -> Offset #
Monoid Offset Source #
Instance details Defined in Symantic.XML.Tree.Source Methods mempty :: Offset # mappend :: Offset -> Offset -> Offset # mconcat :: [Offset] -> Offset #
Show (FileRange Offset) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods showsPrec :: Int -> FileRange Offset -> ShowS # show :: FileRange Offset -> String # showList :: [FileRange Offset] -> ShowS #
NoSource (Sourced (FileSource Offset)) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods noSource :: a -> Sourced (FileSource Offset) a Source # nullSource :: Source (Sourced (FileSource Offset)) -> Bool Source #
Semigroup a => Semigroup (Sourced (FileSource Offset) a) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods (<>) :: Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a # sconcat :: NonEmpty (Sourced (FileSource Offset) a) -> Sourced (FileSource Offset) a # stimes :: Integral b => b -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a #
Ord err => Textable (Read FileSourced err) Source #
Instance details Defined in Symantic.XML.Read Associated Types type TextConstraint (Read FileSourced err) a :: Constraint Source # Methods text :: TextConstraint (Read FileSourced err) a => Read FileSourced err (a -> k) k Source #
Ord err => Definable (Read FileSourced err) Source #
Instance details Defined in Symantic.XML.Read Methods define :: DefineName -> Read FileSourced err a k -> Read FileSourced err a k Source #
type TextConstraint (Read FileSourced err) a Source #
Instance details Defined in Symantic.XML.Read type TextConstraint (Read FileSourced err) a = DecodeText a

Type `LineColumn`

data LineColumn Source #

Absolute text file position.

Constructors

LineColumn
Fields lineNum :: Offset colNum :: Offset

Instances

Eq LineColumn Source #
Instance details Defined in Symantic.XML.Tree.Source Methods (==) :: LineColumn -> LineColumn -> Bool # (/=) :: LineColumn -> LineColumn -> Bool #
Ord LineColumn Source #
Instance details Defined in Symantic.XML.Tree.Source Methods compare :: LineColumn -> LineColumn -> Ordering # (<) :: LineColumn -> LineColumn -> Bool # (<=) :: LineColumn -> LineColumn -> Bool # (>) :: LineColumn -> LineColumn -> Bool # (>=) :: LineColumn -> LineColumn -> Bool # max :: LineColumn -> LineColumn -> LineColumn # min :: LineColumn -> LineColumn -> LineColumn #
Show LineColumn Source #
Instance details Defined in Symantic.XML.Tree.Source Methods showsPrec :: Int -> LineColumn -> ShowS # show :: LineColumn -> String # showList :: [LineColumn] -> ShowS #
Show (FileRange LineColumn) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods showsPrec :: Int -> FileRange LineColumn -> ShowS # show :: FileRange LineColumn -> String # showList :: [FileRange LineColumn] -> ShowS #

Type `Sourced`

data Sourced src a Source #

Constructors

Sourced
Fields source :: src unSourced :: a

Instances

Functor (Sourced src) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods fmap :: (a -> b) -> Sourced src a -> Sourced src b # (<$) :: a -> Sourced src b -> Sourced src a #
SourceOf (Sourced src) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods sourceOf :: Sourced src a -> Source (Sourced src) Source #
UnSource (Sourced src) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods unSource :: Sourced src a -> a Source #
NoSource (Sourced (FileSource Offset)) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods noSource :: a -> Sourced (FileSource Offset) a Source # nullSource :: Source (Sourced (FileSource Offset)) -> Bool Source #
Eq a => Eq (Sourced src a) Source #	Ignore `src`
Instance details Defined in Symantic.XML.Tree.Source Methods (==) :: Sourced src a -> Sourced src a -> Bool # (/=) :: Sourced src a -> Sourced src a -> Bool #
Ord a => Ord (Sourced src a) Source #	Ignore `src`
Instance details Defined in Symantic.XML.Tree.Source Methods compare :: Sourced src a -> Sourced src a -> Ordering # (<) :: Sourced src a -> Sourced src a -> Bool # (<=) :: Sourced src a -> Sourced src a -> Bool # (>) :: Sourced src a -> Sourced src a -> Bool # (>=) :: Sourced src a -> Sourced src a -> Bool # max :: Sourced src a -> Sourced src a -> Sourced src a # min :: Sourced src a -> Sourced src a -> Sourced src a #
(Show src, Show a, NoSource (Sourced src)) => Show (Sourced src a) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods showsPrec :: Int -> Sourced src a -> ShowS # show :: Sourced src a -> String # showList :: [Sourced src a] -> ShowS #
Semigroup a => Semigroup (Sourced (FileSource Offset) a) Source #
Instance details Defined in Symantic.XML.Tree.Source Methods (<>) :: Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a # sconcat :: NonEmpty (Sourced (FileSource Offset) a) -> Sourced (FileSource Offset) a # stimes :: Integral b => b -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a #
Ord err => Textable (Read FileSourced err) Source #
Instance details Defined in Symantic.XML.Read Associated Types type TextConstraint (Read FileSourced err) a :: Constraint Source # Methods text :: TextConstraint (Read FileSourced err) a => Read FileSourced err (a -> k) k Source #
Ord err => Definable (Read FileSourced err) Source #
Instance details Defined in Symantic.XML.Read Methods define :: DefineName -> Read FileSourced err a k -> Read FileSourced err a k Source #
type Source (Sourced src) Source #
Instance details Defined in Symantic.XML.Tree.Source type Source (Sourced src) = src
type TextConstraint (Read FileSourced err) a Source #
Instance details Defined in Symantic.XML.Read type TextConstraint (Read FileSourced err) a = DecodeText a