Safe Haskell | None |
---|---|
Language | Haskell2010 |
Full-blown affine-scoring tree alignment grammar with all cases.
We currently do not produce the outside algorithm, since the
AffineSmall2
variant seems more useful in practice. However, if you
want just send a mail.
Documentation
data SigGlobal m s r t_n_0_ t_n_1_ Source #
SigGlobal | |
|
(Monad mL0, Monad mR0, Eq xL0, (~) (* -> *) mL0 mR0, (~) * xL0 rL0) => ProductBacktracking (SigGlobal mL0 xL0 rL0 t_n_0_0 t_n_1_0) (SigGlobal mR0 xR0 rR0 t_n_0_0 t_n_1_0) Source # | |
(Monad mL0, Monad mR0, Eq xL0, Ord xL0, Ord xR0, (~) (* -> *) mL0 mR0) => ProductCombining (SigGlobal mL0 xL0 rL0 t_n_0_0 t_n_1_0) (SigGlobal mR0 xR0 rR0 t_n_0_0 t_n_1_0) Source # | |
type SigBacktracking (SigGlobal mL0 xL0 rL0 t_n_0_0 t_n_1_0) (SigGlobal mR0 xR0 rR0 t_n_0_0 t_n_1_0) Source # | |
type SigCombining (SigGlobal mL0 xL0 rL0 t_n_0_0 t_n_1_0) (SigGlobal mR0 xR0 rR0 t_n_0_0 t_n_1_0) Source # | |
gGlobal :: ((~#) * * (Fun (Arg ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t5 (i6 -> i6 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t2 (i9 -> i9 -> t16 t14))) (TW t5 (i6 -> i6 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) ((:!:) S (TermSymbol (TermSymbol M Deletion) b)) (TW t6 (i5 -> i5 -> t16 t14))) -> t15)) ((:.) ((:.) Z ()) t12 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) ((:!:) S (TermSymbol (TermSymbol M b1) Deletion)) (TW t9 (i2 -> i2 -> t16 t14))) -> t15)) ((:.) ((:.) Z t13) () -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) ((:!:) S (TermSymbol (TermSymbol M b1) b)) (TW t11 (i1 -> i1 -> t16 t14))) -> t15)) ((:.) ((:.) Z t13) t12 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t7 (i4 -> i4 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t (i11 -> i11 -> t16 t14))) (TW t7 (i4 -> i4 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t10 (i -> i -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t (i11 -> i11 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t2 (i9 -> i9 -> t16 t14))) (TW t10 (i -> i -> t16 t14))) -> t15)) (t15 -> t15 -> t15), (~#) * * (Fun (Arg ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t11 (i1 -> i1 -> t16 t14))) -> t15)) (t15 -> t15 -> t15), Apply (Arg ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t5 (i6 -> i6 -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t2 (i9 -> i9 -> t16 t14))) (TW t5 (i6 -> i6 -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) -> t15), Apply (Arg ((:!:) ((:!:) S (TermSymbol (TermSymbol M Deletion) b)) (TW t6 (i5 -> i5 -> t16 t14))) -> t15), Apply (Arg ((:!:) ((:!:) S (TermSymbol (TermSymbol M b1) Deletion)) (TW t9 (i2 -> i2 -> t16 t14))) -> t15), Apply (Arg ((:!:) ((:!:) S (TermSymbol (TermSymbol M b1) b)) (TW t11 (i1 -> i1 -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t7 (i4 -> i4 -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t (i11 -> i11 -> t16 t14))) (TW t7 (i4 -> i4 -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t10 (i -> i -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t (i11 -> i11 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t2 (i9 -> i9 -> t16 t14))) (TW t10 (i -> i -> t16 t14))) -> t15), Apply (Arg ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t11 (i1 -> i1 -> t16 t14))) -> t15), Element ((:!:) ((:!:) S (TermSymbol (TermSymbol M Deletion) b)) (TW t6 (i5 -> i5 -> t16 t14))) i10, Element ((:!:) ((:!:) S (TermSymbol (TermSymbol M Deletion) b)) (TW t6 (i5 -> i5 -> t16 t14))) i11, Element ((:!:) ((:!:) S (TermSymbol (TermSymbol M b1) Deletion)) (TW t9 (i2 -> i2 -> t16 t14))) i9, Element ((:!:) ((:!:) S (TermSymbol (TermSymbol M b1) Deletion)) (TW t9 (i2 -> i2 -> t16 t14))) i8, Element ((:!:) ((:!:) S (TermSymbol (TermSymbol M b1) b)) (TW t11 (i1 -> i1 -> t16 t14))) i7, Element ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) i3, Element ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) i6, Element ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) i5, Element ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t7 (i4 -> i4 -> t16 t14))) i4, Element ((:!:) (Stack (TW t2 (i9 -> i9 -> t16 t14))) (TW t5 (i6 -> i6 -> t16 t14))) i3, Element ((:!:) (Stack (TW t2 (i9 -> i9 -> t16 t14))) (TW t5 (i6 -> i6 -> t16 t14))) i5, Element ((:!:) (Stack (TW t2 (i9 -> i9 -> t16 t14))) (TW t10 (i -> i -> t16 t14))) i1, Element ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) i3, Element ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) i6, Element ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) i5, Element ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) i2, Element ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) i4, Element ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t11 (i1 -> i1 -> t16 t14))) i, Element ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t11 (i1 -> i1 -> t16 t14))) i1, Element ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t5 (i6 -> i6 -> t16 t14))) i6, Element ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) i2, Element ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) i4, Element ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t10 (i -> i -> t16 t14))) i, Element ((:!:) (Stack (TW t (i11 -> i11 -> t16 t14))) (TW t7 (i4 -> i4 -> t16 t14))) i2, Element ((:!:) (Stack (TW t (i11 -> i11 -> t16 t14))) (TW t7 (i4 -> i4 -> t16 t14))) i, Element ((:!:) (Stack (TW t (i11 -> i11 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) i1, MkStream t16 S i3, MkStream t16 S i5, MkStream t16 S i2, MkStream t16 S i, MkStream t16 S i1, MkStream t16 ((:!:) ((:!:) S (TermSymbol (TermSymbol M Deletion) b)) (TW t6 (i5 -> i5 -> t16 t14))) i10, MkStream t16 ((:!:) ((:!:) S (TermSymbol (TermSymbol M Deletion) b)) (TW t6 (i5 -> i5 -> t16 t14))) i11, MkStream t16 ((:!:) ((:!:) S (TermSymbol (TermSymbol M b1) Deletion)) (TW t9 (i2 -> i2 -> t16 t14))) i9, MkStream t16 ((:!:) ((:!:) S (TermSymbol (TermSymbol M b1) Deletion)) (TW t9 (i2 -> i2 -> t16 t14))) i8, MkStream t16 ((:!:) ((:!:) S (TermSymbol (TermSymbol M b1) b)) (TW t11 (i1 -> i1 -> t16 t14))) i7, MkStream t16 ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) i3, MkStream t16 ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) i6, MkStream t16 ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) i5, MkStream t16 ((:!:) (Stack (TW t1 (i10 -> i10 -> t16 t14))) (TW t7 (i4 -> i4 -> t16 t14))) i4, MkStream t16 ((:!:) (Stack (TW t2 (i9 -> i9 -> t16 t14))) (TW t5 (i6 -> i6 -> t16 t14))) i3, MkStream t16 ((:!:) (Stack (TW t2 (i9 -> i9 -> t16 t14))) (TW t5 (i6 -> i6 -> t16 t14))) i5, MkStream t16 ((:!:) (Stack (TW t2 (i9 -> i9 -> t16 t14))) (TW t10 (i -> i -> t16 t14))) i1, MkStream t16 ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) i3, MkStream t16 ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) i6, MkStream t16 ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) i5, MkStream t16 ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) i2, MkStream t16 ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) i4, MkStream t16 ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t11 (i1 -> i1 -> t16 t14))) i, MkStream t16 ((:!:) (Stack (TW t4 (i7 -> i7 -> t16 t14))) (TW t11 (i1 -> i1 -> t16 t14))) i1, MkStream t16 ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t5 (i6 -> i6 -> t16 t14))) i6, MkStream t16 ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) i2, MkStream t16 ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) i4, MkStream t16 ((:!:) (Stack (TW t3 (i8 -> i8 -> t16 t14))) (TW t10 (i -> i -> t16 t14))) i, MkStream t16 ((:!:) (Stack (TW t (i11 -> i11 -> t16 t14))) (TW t7 (i4 -> i4 -> t16 t14))) i2, MkStream t16 ((:!:) (Stack (TW t (i11 -> i11 -> t16 t14))) (TW t7 (i4 -> i4 -> t16 t14))) i, MkStream t16 ((:!:) (Stack (TW t (i11 -> i11 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) i1, TermStream t16 (TermSymbol (TermSymbol M Epsilon) Epsilon) (Elm S i3) i3, TermStream t16 (TermSymbol (TermSymbol M Epsilon) Epsilon) (Elm S i5) i5, TermStream t16 (TermSymbol (TermSymbol M Epsilon) Epsilon) (Elm S i2) i2, TermStream t16 (TermSymbol (TermSymbol M Epsilon) Epsilon) (Elm S i) i, TermStream t16 (TermSymbol (TermSymbol M Epsilon) Epsilon) (Elm S i1) i1, TermStaticVar (TermSymbol (TermSymbol M Epsilon) Epsilon) i3, TermStaticVar (TermSymbol (TermSymbol M Epsilon) Epsilon) i5, TermStaticVar (TermSymbol (TermSymbol M Epsilon) Epsilon) i2, TermStaticVar (TermSymbol (TermSymbol M Epsilon) Epsilon) i, TermStaticVar (TermSymbol (TermSymbol M Epsilon) Epsilon) i1, RuleContext i3, RuleContext i9, RuleContext i10, RuleContext i6, RuleContext i5, RuleContext i11, RuleContext i8, RuleContext i7, RuleContext i2, RuleContext i4, RuleContext i, RuleContext i1, Build (TW t1 (i10 -> i10 -> t16 t14)), Build (TW t3 (i8 -> i8 -> t16 t14)), Build (TW t (i11 -> i11 -> t16 t14)), Build (TW t2 (i9 -> i9 -> t16 t14)), Build (TW t4 (i7 -> i7 -> t16 t14))) => SigGlobal t16 t15 t14 t13 t12 -> t11 -> t10 -> t9 -> t8 -> t7 -> t6 -> t5 -> t4 -> t3 -> t2 -> t1 -> t -> b1 -> b -> (:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z (TW t11 (i1 -> i1 -> t16 t14))) (TW t10 (i -> i -> t16 t14))) (TW t9 (i2 -> i2 -> t16 t14))) (TW t8 (i3 -> i3 -> t16 t14))) (TW t7 (i4 -> i4 -> t16 t14))) (TW t6 (i5 -> i5 -> t16 t14))) (TW t5 (i6 -> i6 -> t16 t14))) (TW t4 (i7 -> i7 -> t16 t14))) (TW t3 (i8 -> i8 -> t16 t14))) (TW t2 (i9 -> i9 -> t16 t14))) (TW t1 (i10 -> i10 -> t16 t14))) (TW t (i11 -> i11 -> t16 t14)) Source #