Language.Symantic.Grammar.Source

Class Source

class Source src where

Minimal complete definition

noSource

Methods

noSource :: src

Instances

Source ()

Methods

noSource :: ()

Class SourceInj

class Source src => SourceInj a src where

Minimal complete definition

sourceInj

Methods

sourceInj :: a -> src

Instances

SourceInj a ()

Methods

sourceInj :: a -> ()

Type family SourceOf

type family SourceOf a

Type Sourced

class Source (SourceOf a) => Sourced a where

Minimal complete definition

sourceOf, setSource

Methods

sourceOf :: a -> SourceOf a

setSource :: a -> SourceOf a -> a infixl 5

withSource :: SourceInj src (SourceOf a) => Sourced a => a -> src -> a

Type Source_Input

type family Source_Input (src :: *) :: *

Instances

type Source_Input ()

type Source_Input () = ()

Type Span

data Span src

Constructors

Span

Fields

• spanBegin :: !src
• spanEnd :: !src

Instances

Eq src => Eq (Span src)

Methods

(==) :: Span src -> Span src -> Bool

(/=) :: Span src -> Span src -> Bool

Ord src => Ord (Span src)

Methods

compare :: Span src -> Span src -> Ordering

(<) :: Span src -> Span src -> Bool

(<=) :: Span src -> Span src -> Bool

(>) :: Span src -> Span src -> Bool

(>=) :: Span src -> Span src -> Bool

max :: Span src -> Span src -> Span src

min :: Span src -> Span src -> Span src

Show src => Show (Span src)

Methods

showsPrec :: Int -> Span src -> ShowS

show :: Span src -> String

showList :: [Span src] -> ShowS

Type At

data At src a

Attach a Source to something.

Constructors

At

Fields

• at :: !src
• unAt :: !a

Instances

Functor (At src)

Methods

fmap :: (a -> b) -> At src a -> At src b

(<$) :: a -> At src b -> At src a

(Eq a, Eq src) => Eq (At src a)

Methods

(==) :: At src a -> At src a -> Bool

(/=) :: At src a -> At src a -> Bool

(Ord a, Ord src) => Ord (At src a)

Methods

compare :: At src a -> At src a -> Ordering

(<) :: At src a -> At src a -> Bool

(<=) :: At src a -> At src a -> Bool

(>) :: At src a -> At src a -> Bool

(>=) :: At src a -> At src a -> Bool

max :: At src a -> At src a -> At src a

min :: At src a -> At src a -> At src a

(Show a, Show src) => Show (At src a)

Methods

showsPrec :: Int -> At src a -> ShowS

show :: At src a -> String

showList :: [At src a] -> ShowS