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)

Build (Strng v x)

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

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

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

type Arg ((:!:) ls (Strng v x)) = (:.) (Arg ls) (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