DP.Seq.Align.Global.Affine2

Documentation

data SigGotoh m s r t_b_0_ t_u_1_

Define signature and grammar

Constructors

SigGotoh

Fields

• align :: (s -> (:.) ((:.) Z t_b_0_) t_u_1_ -> s)
• contU :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• done :: ((:.) ((:.) Z ()) () -> s)
• openL :: (s -> (:.) ((:.) Z t_b_0_) () -> s)
• openU :: (s -> (:.) ((:.) Z ()) t_u_1_ -> s)
• start :: (s -> s)
• h :: (Stream m s -> m r)

Instances

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

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

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

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

gGotoh :: ((~#) * * (Fun (Arg (Stack (TW t1 (i2 -> i2 -> t8 t6))) -> t7)) (t7 -> t7), (~#) * * (Fun (Arg (Stack (TW t2 (i -> i -> t8 t6))) -> t7)) (t7 -> t7), (~#) * * (Fun (Arg (Stack (TW t3 (i1 -> i1 -> t8 t6))) -> t7)) (t7 -> t7), (~#) * * (Fun ((:.) (Arg (Stack (TW t1 (i2 -> i2 -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t7)) (t7 -> (:.) ((:.) Z t5) t4 -> t7), (~#) * * (Fun ((:.) (Arg (Stack (TW t2 (i -> i -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t7)) (t7 -> (:.) ((:.) Z t5) t4 -> t7), (~#) * * (Fun ((:.) (Arg (Stack (TW t3 (i1 -> i1 -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t7)) (t7 -> (:.) ((:.) Z t5) t4 -> t7), (~#) * * (Fun ((:.) (Arg (Stack (TW t1 (i2 -> i2 -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t7)) (t7 -> (:.) ((:.) Z t5) () -> t7), (~#) * * (Fun ((:.) (Arg (Stack (TW t3 (i1 -> i1 -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t7)) (t7 -> (:.) ((:.) Z t5) () -> t7), (~#) * * (Fun ((:.) (Arg (Stack (TW t2 (i -> i -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t7)) (t7 -> (:.) ((:.) Z t5) () -> t7), (~#) * * (Fun ((:.) (Arg (Stack (TW t1 (i2 -> i2 -> t8 t6)))) ((:.) ((:.) Z ()) (TermArg b)) -> t7)) (t7 -> (:.) ((:.) Z ()) t4 -> t7), (~#) * * (Fun ((:.) (Arg (Stack (TW t2 (i -> i -> t8 t6)))) ((:.) ((:.) Z ()) (TermArg b)) -> t7)) (t7 -> (:.) ((:.) Z ()) t4 -> t7), (~#) * * (Fun ((:.) (Arg (Stack (TW t3 (i1 -> i1 -> t8 t6)))) ((:.) ((:.) Z ()) (TermArg b)) -> t7)) (t7 -> (:.) ((:.) Z t5) () -> t7), Apply ((:.) (Arg (Stack (TW t1 (i2 -> i2 -> t8 t6)))) ((:.) ((:.) Z ()) (TermArg b)) -> t7), Apply ((:.) (Arg (Stack (TW t1 (i2 -> i2 -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t7), Apply ((:.) (Arg (Stack (TW t1 (i2 -> i2 -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t7), Apply ((:.) (Arg (Stack (TW t2 (i -> i -> t8 t6)))) ((:.) ((:.) Z ()) (TermArg b)) -> t7), Apply ((:.) (Arg (Stack (TW t2 (i -> i -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t7), Apply ((:.) (Arg (Stack (TW t2 (i -> i -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t7), Apply ((:.) (Arg (Stack (TW t3 (i1 -> i1 -> t8 t6)))) ((:.) ((:.) Z ()) (TermArg b)) -> t7), Apply ((:.) (Arg (Stack (TW t3 (i1 -> i1 -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) ()) -> t7), Apply ((:.) (Arg (Stack (TW t3 (i1 -> i1 -> t8 t6)))) ((:.) ((:.) Z (TermArg b1)) (TermArg b)) -> t7), Apply (Arg (Stack (TW t1 (i2 -> i2 -> t8 t6))) -> t7), Apply (Arg (Stack (TW t2 (i -> i -> t8 t6))) -> t7), Apply (Arg (Stack (TW t3 (i1 -> i1 -> t8 t6))) -> t7), Element (Stack (TW t1 (i2 -> i2 -> t8 t6))) i3, Element (Stack (TW t1 (i2 -> i2 -> t8 t6))) i2, Element (Stack (TW t1 (i2 -> i2 -> t8 t6))) i, Element (Stack (TW t1 (i2 -> i2 -> t8 t6))) i1, Element (Stack (TW t2 (i -> i -> t8 t6))) i3, Element (Stack (TW t2 (i -> i -> t8 t6))) i2, Element (Stack (TW t2 (i -> i -> t8 t6))) i, Element (Stack (TW t2 (i -> i -> t8 t6))) i1, Element (Stack (TW t3 (i1 -> i1 -> t8 t6))) i3, Element (Stack (TW t3 (i1 -> i1 -> t8 t6))) i2, Element (Stack (TW t3 (i1 -> i1 -> t8 t6))) i, Element (Stack (TW t3 (i1 -> i1 -> t8 t6))) i1, MkStream t8 S i2, MkStream t8 (Stack (TW t1 (i2 -> i2 -> t8 t6))) i3, MkStream t8 (Stack (TW t1 (i2 -> i2 -> t8 t6))) i2, MkStream t8 (Stack (TW t1 (i2 -> i2 -> t8 t6))) i, MkStream t8 (Stack (TW t1 (i2 -> i2 -> t8 t6))) i1, MkStream t8 (Stack (TW t2 (i -> i -> t8 t6))) i3, MkStream t8 (Stack (TW t2 (i -> i -> t8 t6))) i2, MkStream t8 (Stack (TW t2 (i -> i -> t8 t6))) i, MkStream t8 (Stack (TW t2 (i -> i -> t8 t6))) i1, MkStream t8 (Stack (TW t3 (i1 -> i1 -> t8 t6))) i3, MkStream t8 (Stack (TW t3 (i1 -> i1 -> t8 t6))) i2, MkStream t8 (Stack (TW t3 (i1 -> i1 -> t8 t6))) i, MkStream t8 (Stack (TW t3 (i1 -> i1 -> t8 t6))) i1, RuleContext i3, RuleContext i2, RuleContext i, RuleContext i1, TermStream t8 (TermSymbol (TermSymbol M Epsilon) Epsilon) (Elm S i2) i2, TermStream t8 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t1 (i2 -> i2 -> t8 t6))) i1) i1, TermStream t8 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t2 (i -> i -> t8 t6))) i1) i1, TermStream t8 (TermSymbol (TermSymbol M Deletion) b) (Elm (Stack (TW t3 (i1 -> i1 -> t8 t6))) i1) i1, TermStream t8 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t1 (i2 -> i2 -> t8 t6))) i) i, TermStream t8 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t3 (i1 -> i1 -> t8 t6))) i) i, TermStream t8 (TermSymbol (TermSymbol M b1) Deletion) (Elm (Stack (TW t2 (i -> i -> t8 t6))) i) i, TermStream t8 (TermSymbol (TermSymbol M b1) b) (Elm (Stack (TW t1 (i2 -> i2 -> t8 t6))) i2) i2, TermStream t8 (TermSymbol (TermSymbol M b1) b) (Elm (Stack (TW t2 (i -> i -> t8 t6))) i2) i2, TermStream t8 (TermSymbol (TermSymbol M b1) b) (Elm (Stack (TW t3 (i1 -> i1 -> t8 t6))) i2) i2, TermStaticVar (TermSymbol (TermSymbol M Epsilon) Epsilon) i2, TermStaticVar (TermSymbol (TermSymbol M Deletion) b) i1, TermStaticVar (TermSymbol (TermSymbol M b1) Deletion) i, TermStaticVar (TermSymbol (TermSymbol M b1) b) i2, Build (TW t1 (i2 -> i2 -> t8 t6)), Build (TW t2 (i -> i -> t8 t6)), Build (TW t3 (i1 -> i1 -> t8 t6))) => SigGotoh t8 t7 t6 t5 t4 -> t3 -> t2 -> t1 -> t -> b1 -> b -> (:.) ((:.) ((:.) ((:.) Z (TW t3 (i1 -> i1 -> t8 t6))) (TW t2 (i -> i -> t8 t6))) (TW t1 (i2 -> i2 -> t8 t6))) (TW t (i3 -> i3 -> t8 t6))