DP.Seq.Align.SemiGlobal.Infix2

Affine grammar with zero-cost prefixes and suffixes.

Documentation

data SigInfix m s r t_b_0_ t_u_1_

Define signature and grammar

Constructors

SigInfix

Fields

• align :: (s -> (:.) ((:.) Z t_b_0_) t_u_1_ -> s)
• contL :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• contU :: (s -> (:.) ((:.) Z ()) t_u_1_ -> s)
• done :: ((:.) ((:.) Z ()) () -> s)
• frSUD :: (s -> (:.) ((:.) Z ()) t_u_1_ -> s)
• frSUI :: (s -> (:.) ((:.) Z ()) t_u_1_ -> s)
• frSUM :: (s -> (:.) ((:.) Z ()) t_u_1_ -> s)
• frUSD :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• frUSI :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• frUSM :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• openL :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• openU :: (s -> (:.) ((:.) Z ()) t_u_1_ -> s)
• prePU :: (s -> (:.) ((:.) Z ()) t_u_1_ -> s)
• preUP :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• start :: (s -> s)
• sufSU :: (s -> (:.) ((:.) Z ()) t_u_1_ -> s)
• sufUS :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• toPUD :: (s -> (:.) ((:.) Z ()) t_u_1_ -> s)
• toPUI :: (s -> (:.) ((:.) Z ()) t_u_1_ -> s)
• toPUM :: (s -> (:.) ((:.) Z ()) t_u_1_ -> s)
• toUPD :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• toUPI :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• toUPM :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• h :: (Stream m s -> m r)

Instances

(Monad mL0, Monad mR0, Eq xL0, (~) (* -> *) mL0 mR0, (~) * xL0 rL0) => ProductBacktracking (SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0) (SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0)

Associated Types

type SigBacktracking (SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0) (SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0) :: *

Methods

(<||) :: SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0 -> SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0 -> SigBacktracking (SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0) (SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0)

(Monad mL0, Monad mR0, Eq xL0, Ord xL0, Ord xR0, (~) (* -> *) mL0 mR0) => ProductCombining (SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0) (SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0)

Associated Types

type SigCombining (SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0) (SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0) :: *

Methods

(**>) :: SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0 -> SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0 -> SigCombining (SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0) (SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0)

type SigBacktracking (SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0) (SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0)

type SigBacktracking (SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0) (SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0) = SigInfix mR0 (xL0, [xR0]) rR0 t_b_0_0 t_u_1_0

type SigCombining (SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0) (SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0)

type SigCombining (SigInfix mL0 xL0 rL0 t_b_0_0 t_u_1_0) (SigInfix mR0 xR0 rR0 t_b_0_0 t_u_1_0) = SigInfix mR0 (xL0, [xR0]) (Vector (rL0, rR0)) t_b_0_0 t_u_1_0

gInfix :: ((~#) * * (Fun (Arg (Stack (TW t (i7 -> i7 -> t12 t10))) -> t11)) (t11 -> t11), (~#) * * (Fun (Arg (Stack (TW t2 (i5 -> i5 -> t12 t10))) -> t11)) (t11 -> t11), (~#) * * (Fun (Arg (Stack (TW t5 (i2 -> i2 -> t12 t10))) -> t11)) (t11 -> t11), (~#) * * (Fun (Arg (Stack (TW t6 (i -> i -> t12 t10))) -> t11)) (t11 -> t11), (~#) * * (Fun (Arg (Stack (TW t7 (i1 -> i1 -> t12 t10))) -> t11)) (t11 -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t (i7 -> i7 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t11)) (t11 -> (:.) ((:.) Z t9) () -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t2 (i5 -> i5 -> t12 t10)))) ((:.) ((:.) Z ()) (TermArg b)) -> t11)) (t11 -> (:.) ((:.) Z ()) t8 -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t5 (i2 -> i2 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t11)) (t11 -> (:.) ((:.) Z t9) t8 -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t6 (i -> i -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t11)) (t11 -> (:.) ((:.) Z t9) t8 -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t7 (i1 -> i1 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t11)) (t11 -> (:.) ((:.) Z t9) t8 -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t5 (i2 -> i2 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t11)) (t11 -> (:.) ((:.) Z t9) () -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t7 (i1 -> i1 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t11)) (t11 -> (:.) ((:.) Z t9) () -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t6 (i -> i -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t11)) (t11 -> (:.) ((:.) Z t9) () -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t5 (i2 -> i2 -> t12 t10)))) ((:.) ((:.) Z ()) (TermArg b)) -> t11)) (t11 -> (:.) ((:.) Z ()) t8 -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t6 (i -> i -> t12 t10)))) ((:.) ((:.) Z ()) (TermArg b)) -> t11)) (t11 -> (:.) ((:.) Z ()) t8 -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t7 (i1 -> i1 -> t12 t10)))) ((:.) ((:.) Z ()) (TermArg b)) -> t11)) (t11 -> (:.) ((:.) Z ()) t8 -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t4 (i3 -> i3 -> t12 t10)))) ((:.) ((:.) Z ()) (TermArg b)) -> t11)) (t11 -> (:.) ((:.) Z ()) t8 -> t11), (~#) * * (Fun ((:.) (Arg (Stack (TW t1 (i6 -> i6 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t11)) (t11 -> (:.) ((:.) Z t9) () -> t11), Apply ((:.) (Arg (Stack (TW t (i7 -> i7 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t11), Apply ((:.) (Arg (Stack (TW t2 (i5 -> i5 -> t12 t10)))) ((:.) ((:.) Z ()) (TermArg b)) -> t11), Apply ((:.) (Arg (Stack (TW t5 (i2 -> i2 -> t12 t10)))) ((:.) ((:.) Z ()) (TermArg b)) -> t11), Apply ((:.) (Arg (Stack (TW t5 (i2 -> i2 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t11), Apply ((:.) (Arg (Stack (TW t5 (i2 -> i2 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t11), Apply ((:.) (Arg (Stack (TW t6 (i -> i -> t12 t10)))) ((:.) ((:.) Z ()) (TermArg b)) -> t11), Apply ((:.) (Arg (Stack (TW t6 (i -> i -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t11), Apply ((:.) (Arg (Stack (TW t6 (i -> i -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t11), Apply ((:.) (Arg (Stack (TW t7 (i1 -> i1 -> t12 t10)))) ((:.) ((:.) Z ()) (TermArg b)) -> t11), Apply ((:.) (Arg (Stack (TW t7 (i1 -> i1 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t11), Apply ((:.) (Arg (Stack (TW t7 (i1 -> i1 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t11), Apply ((:.) (Arg (Stack (TW t4 (i3 -> i3 -> t12 t10)))) ((:.) ((:.) Z ()) (TermArg b)) -> t11), Apply ((:.) (Arg (Stack (TW t1 (i6 -> i6 -> t12 t10)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t11), Apply (Arg (Stack (TW t (i7 -> i7 -> t12 t10))) -> t11), Apply (Arg (Stack (TW t2 (i5 -> i5 -> t12 t10))) -> t11), Apply (Arg (Stack (TW t5 (i2 -> i2 -> t12 t10))) -> t11), Apply (Arg (Stack (TW t6 (i -> i -> t12 t10))) -> t11), Apply (Arg (Stack (TW t7 (i1 -> i1 -> t12 t10))) -> t11), Element (Stack (TW t (i7 -> i7 -> t12 t10))) i4, Element (Stack (TW t (i7 -> i7 -> t12 t10))) i7, Element (Stack (TW t2 (i5 -> i5 -> t12 t10))) i4, Element (Stack (TW t2 (i5 -> i5 -> t12 t10))) i5, Element (Stack (TW t5 (i2 -> i2 -> t12 t10))) i4, Element (Stack (TW t5 (i2 -> i2 -> t12 t10))) i7, Element (Stack (TW t5 (i2 -> i2 -> t12 t10))) i5, Element (Stack (TW t5 (i2 -> i2 -> t12 t10))) i2, Element (Stack (TW t5 (i2 -> i2 -> t12 t10))) i, Element (Stack (TW t5 (i2 -> i2 -> t12 t10))) i1, Element (Stack (TW t6 (i -> i -> t12 t10))) i4, Element (Stack (TW t6 (i -> i -> t12 t10))) i7, Element (Stack (TW t6 (i -> i -> t12 t10))) i5, Element (Stack (TW t6 (i -> i -> t12 t10))) i2, Element (Stack (TW t6 (i -> i -> t12 t10))) i, Element (Stack (TW t6 (i -> i -> t12 t10))) i1, Element (Stack (TW t7 (i1 -> i1 -> t12 t10))) i4, Element (Stack (TW t7 (i1 -> i1 -> t12 t10))) i7, Element (Stack (TW t7 (i1 -> i1 -> t12 t10))) i5, Element (Stack (TW t7 (i1 -> i1 -> t12 t10))) i2, Element (Stack (TW t7 (i1 -> i1 -> t12 t10))) i, Element (Stack (TW t7 (i1 -> i1 -> t12 t10))) i1, Element (Stack (TW t1 (i6 -> i6 -> t12 t10))) i2, Element (Stack (TW t1 (i6 -> i6 -> t12 t10))) i, Element (Stack (TW t1 (i6 -> i6 -> t12 t10))) i1, Element (Stack (TW t1 (i6 -> i6 -> t12 t10))) i6, Element (Stack (TW t4 (i3 -> i3 -> t12 t10))) i2, Element (Stack (TW t4 (i3 -> i3 -> t12 t10))) i, Element (Stack (TW t4 (i3 -> i3 -> t12 t10))) i1, Element (Stack (TW t4 (i3 -> i3 -> t12 t10))) i3, MkStream t12 S i2, MkStream t12 S i, MkStream t12 S i1, MkStream t12 S i3, MkStream t12 S i6, MkStream t12 (Stack (TW t (i7 -> i7 -> t12 t10))) i4, MkStream t12 (Stack (TW t (i7 -> i7 -> t12 t10))) i7, MkStream t12 (Stack (TW t2 (i5 -> i5 -> t12 t10))) i4, MkStream t12 (Stack (TW t2 (i5 -> i5 -> t12 t10))) i5, MkStream t12 (Stack (TW t5 (i2 -> i2 -> t12 t10))) i4, MkStream t12 (Stack (TW t5 (i2 -> i2 -> t12 t10))) i7, MkStream t12 (Stack (TW t5 (i2 -> i2 -> t12 t10))) i5, MkStream t12 (Stack (TW t5 (i2 -> i2 -> t12 t10))) i2, MkStream t12 (Stack (TW t5 (i2 -> i2 -> t12 t10))) i, MkStream t12 (Stack (TW t5 (i2 -> i2 -> t12 t10))) i1, MkStream t12 (Stack (TW t6 (i -> i -> t12 t10))) i4, MkStream t12 (Stack (TW t6 (i -> i -> t12 t10))) i7, MkStream t12 (Stack (TW t6 (i -> i -> t12 t10))) i5, MkStream t12 (Stack (TW t6 (i -> i -> t12 t10))) i2, MkStream t12 (Stack (TW t6 (i -> i -> t12 t10))) i, MkStream t12 (Stack (TW t6 (i -> i -> t12 t10))) i1, MkStream t12 (Stack (TW t7 (i1 -> i1 -> t12 t10))) i4, MkStream t12 (Stack (TW t7 (i1 -> i1 -> t12 t10))) i7, MkStream t12 (Stack (TW t7 (i1 -> i1 -> t12 t10))) i5, MkStream t12 (Stack (TW t7 (i1 -> i1 -> t12 t10))) i2, MkStream t12 (Stack (TW t7 (i1 -> i1 -> t12 t10))) i, MkStream t12 (Stack (TW t7 (i1 -> i1 -> t12 t10))) i1, MkStream t12 (Stack (TW t1 (i6 -> i6 -> t12 t10))) i2, MkStream t12 (Stack (TW t1 (i6 -> i6 -> t12 t10))) i, MkStream t12 (Stack (TW t1 (i6 -> i6 -> t12 t10))) i1, MkStream t12 (Stack (TW t1 (i6 -> i6 -> t12 t10))) i6, MkStream t12 (Stack (TW t4 (i3 -> i3 -> t12 t10))) i2, MkStream t12 (Stack (TW t4 (i3 -> i3 -> t12 t10))) i, MkStream t12 (Stack (TW t4 (i3 -> i3 -> t12 t10))) i1, MkStream t12 (Stack (TW t4 (i3 -> i3 -> t12 t10))) i3, RuleContext i4, RuleContext i7, RuleContext i5, RuleContext i2, RuleContext i, RuleContext i1, RuleContext i3, RuleContext i6, TermStream t12 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t2 (i5 -> i5 -> t12 t10))) i5) i5, TermStream t12 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t5 (i2 -> i2 -> t12 t10))) i5) i5, TermStream t12 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t5 (i2 -> i2 -> t12 t10))) i1) i1, TermStream t12 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t6 (i -> i -> t12 t10))) i5) i5, TermStream t12 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t6 (i -> i -> t12 t10))) i1) i1, TermStream t12 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t7 (i1 -> i1 -> t12 t10))) i5) i5, TermStream t12 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t7 (i1 -> i1 -> t12 t10))) i1) i1, TermStream t12 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t4 (i3 -> i3 -> t12 t10))) i2) i2, TermStream t12 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t4 (i3 -> i3 -> t12 t10))) i) i, TermStream t12 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t4 (i3 -> i3 -> t12 t10))) i1) i1, TermStream t12 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t4 (i3 -> i3 -> t12 t10))) i3) i3, TermStream t12 (TermSymbol (TermSymbol M Epsilon) Epsilon) (Elm S i2) i2, TermStream t12 (TermSymbol (TermSymbol M Epsilon) Epsilon) (Elm S i) i, TermStream t12 (TermSymbol (TermSymbol M Epsilon) Epsilon) (Elm S i1) i1, TermStream t12 (TermSymbol (TermSymbol M Epsilon) Epsilon) (Elm S i3) i3, TermStream t12 (TermSymbol (TermSymbol M Epsilon) Epsilon) (Elm S i6) i6, TermStream t12 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t (i7 -> i7 -> t12 t10))) i7) i7, TermStream t12 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t5 (i2 -> i2 -> t12 t10))) i7) i7, TermStream t12 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t5 (i2 -> i2 -> t12 t10))) i) i, TermStream t12 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t6 (i -> i -> t12 t10))) i7) i7, TermStream t12 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t6 (i -> i -> t12 t10))) i) i, TermStream t12 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t7 (i1 -> i1 -> t12 t10))) i7) i7, TermStream t12 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t7 (i1 -> i1 -> t12 t10))) i) i, TermStream t12 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t1 (i6 -> i6 -> t12 t10))) i2) i2, TermStream t12 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t1 (i6 -> i6 -> t12 t10))) i) i, TermStream t12 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t1 (i6 -> i6 -> t12 t10))) i1) i1, TermStream t12 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t1 (i6 -> i6 -> t12 t10))) i6) i6, TermStream t12 (TermSymbol (TermSymbol M b1) b) (Elm (Stack (TW t5 (i2 -> i2 -> t12 t10))) i2) i2, TermStream t12 (TermSymbol (TermSymbol M b1) b) (Elm (Stack (TW t6 (i -> i -> t12 t10))) i2) i2, TermStream t12 (TermSymbol (TermSymbol M b1) b) (Elm (Stack (TW t7 (i1 -> i1 -> t12 t10))) i2) i2, Build (TW t (i7 -> i7 -> t12 t10)), Build (TW t2 (i5 -> i5 -> t12 t10)), Build (TW t5 (i2 -> i2 -> t12 t10)), Build (TW t6 (i -> i -> t12 t10)), Build (TW t7 (i1 -> i1 -> t12 t10)), Build (TW t4 (i3 -> i3 -> t12 t10)), Build (TW t1 (i6 -> i6 -> t12 t10)), TermStaticVar (TermSymbol (TermSymbol M Deletion) b) i5, TermStaticVar (TermSymbol (TermSymbol M Deletion) b) i2, TermStaticVar (TermSymbol (TermSymbol M Deletion) b) i, TermStaticVar (TermSymbol (TermSymbol M Deletion) b) i1, TermStaticVar (TermSymbol (TermSymbol M Deletion) b) i3, TermStaticVar (TermSymbol (TermSymbol M Epsilon) Epsilon) i2, TermStaticVar (TermSymbol (TermSymbol M Epsilon) Epsilon) i, TermStaticVar (TermSymbol (TermSymbol M Epsilon) Epsilon) i1, TermStaticVar (TermSymbol (TermSymbol M Epsilon) Epsilon) i3, TermStaticVar (TermSymbol (TermSymbol M Epsilon) Epsilon) i6, TermStaticVar (TermSymbol (TermSymbol M b1) Deletion) i7, TermStaticVar (TermSymbol (TermSymbol M b1) Deletion) i2, TermStaticVar (TermSymbol (TermSymbol M b1) Deletion) i, TermStaticVar (TermSymbol (TermSymbol M b1) Deletion) i1, TermStaticVar (TermSymbol (TermSymbol M b1) Deletion) i6, TermStaticVar (TermSymbol (TermSymbol M b1) b) i2) => SigInfix t12 t11 t10 t9 t8 -> t7 -> t6 -> t5 -> t4 -> t3 -> t2 -> t1 -> t -> b1 -> b -> (:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z (TW t7 (i1 -> i1 -> t12 t10))) (TW t6 (i -> i -> t12 t10))) (TW t5 (i2 -> i2 -> t12 t10))) (TW t4 (i3 -> i3 -> t12 t10))) (TW t3 (i4 -> i4 -> t12 t10))) (TW t2 (i5 -> i5 -> t12 t10))) (TW t1 (i6 -> i6 -> t12 t10))) (TW t (i7 -> i7 -> t12 t10))