ADP.Fusion.Core.Term.Test

Documentation

data Test v x where

Test terminals return "strings", i.e. vectors of Chrs. They allow the user to specify [ 0 .. ] atoms to be parsed at once. It is possible to both, limit the minimal and maximal number.

NOTE gadt comments are not parsed by haddock?

Constructors

Test :: Vector v x => v x -> Test v x

Instances

(Show i, Show (RunningIndex i), Show (v x), Show (Elm ls i)) => Show (Elm (ls :!: Test v x) i)

Defined in ADP.Fusion.Core.Term.Test

Methods

showsPrec :: Int -> Elm (ls :!: Test v x) i -> ShowS

show :: Elm (ls :!: Test v x) i -> String

showList :: [Elm (ls :!: Test v x) i] -> ShowS

Build (Test v x)

Defined in ADP.Fusion.Core.Term.Test

Associated Types

type Stack (Test v x) :: Type

Methods

build :: Test v x -> Stack (Test v x)

Element ls i => Element (ls :!: Test v x) i

Defined in ADP.Fusion.Core.Term.Test

Associated Types

data Elm (ls :!: Test v x) i :: Type

type RecElm (ls :!: Test v x) i :: Type

type Arg (ls :!: Test v x) :: Type

Methods

getArg :: Elm (ls :!: Test v x) i -> Arg (ls :!: Test v x)

getIdx :: Elm (ls :!: Test v x) i -> RunningIndex i

getElm :: Elm (ls :!: Test v x) i -> RecElm (ls :!: Test v x) i

type Stack (Test v x)

Defined in ADP.Fusion.Core.Term.Test

type Stack (Test v x) = S :!: Test v x

data Elm (ls :!: Test v x) i

Defined in ADP.Fusion.Core.Term.Test

data Elm (ls :!: Test v x) i = ElmTest !(v x) !(RunningIndex i) !(Elm ls i)

type Arg (ls :!: Test v x)

Defined in ADP.Fusion.Core.Term.Test

type Arg (ls :!: Test v x) = Arg ls :. v x

type TermArg (Test v x)

Defined in ADP.Fusion.Core.Term.Test

type TermArg (Test v x) = v x