ADP.Fusion.Term.Strng.Type

Documentation

data Strng v x where

Strng 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

Strng :: Vector v x => (Int -> Int -> v x -> v x) -> Int -> Int -> v x -> Strng v x

Instances

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

Methods

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

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

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

Build (Strng v x)

Associated Types

type Stack (Strng v x) :: *

Methods

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

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

Associated Types

data Elm ((:!:) ls (Strng v x)) i :: *

type RecElm ((:!:) ls (Strng v x)) i :: *

type Arg ((:!:) ls (Strng v x)) :: *

Methods

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

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

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

type Stack (Strng v x)

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

data Elm ((:!:) ls (Strng v x))

data Elm ((:!:) ls (Strng v x)) = ElmStrng !(v x) !(RunningIndex i) !(Elm ls i)

type Arg ((:!:) ls (Strng v x))

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

type TermArg (Strng v x)

type TermArg (Strng v x) = v x

manyS :: Vector v x => v x -> Strng v x

someS :: Vector v x => v x -> Strng v x

strng :: Vector v x => Int -> Int -> v x -> Strng v x