Safe Haskell	None
Language	Haskell2010

DP.Tree.Align.Global.Affine2

Description

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 #

Constructors

SigGlobal

Fields

afdelin :: ((:.) ((:.) Z t_n_0_) () -> s -> s)
afindel :: ((:.) ((:.) Z ()) t_n_1_ -> s -> s)
align :: ((:.) ((:.) Z t_n_0_) t_n_1_ -> s -> s)
delin :: ((:.) ((:.) Z t_n_0_) () -> s -> s)
done :: ((:.) ((:.) Z ()) () -> s)
fgalign :: (s -> s -> s)
fgdelin :: (s -> s -> s)
fgindel :: (s -> s -> s)
fpalign :: (s -> s -> s)
fpdelin :: (s -> s -> s)
fpindel :: (s -> s -> s)
gfalign :: (s -> s -> s)
gfdelin :: (s -> s -> s)
gfindel :: (s -> s -> s)
gpalign :: (s -> s -> s)
gpdelin :: (s -> s -> s)
gpindel :: (s -> s -> s)
indel :: ((:.) ((:.) Z ()) t_n_1_ -> s -> s)
iter :: (s -> s -> s)
pfalign :: (s -> s -> s)
pfdelin :: (s -> s -> s)
pfindel :: (s -> s -> s)
pgalign :: (s -> s -> s)
pgdelin :: (s -> s -> s)
pgindel :: (s -> s -> s)
h :: (Stream m s -> m r)

Instances

(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 #
Associated Types 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) :: * # Methods (<\|\|) :: SigGlobal mL0 xL0 rL0 t_n_0_0 t_n_1_0 -> SigGlobal mR0 xR0 rR0 t_n_0_0 t_n_1_0 -> 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) #
(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 #
Associated Types 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) :: * # Methods (**>) :: SigGlobal mL0 xL0 rL0 t_n_0_0 t_n_1_0 -> SigGlobal mR0 xR0 rR0 t_n_0_0 t_n_1_0 -> 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) #
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 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) = SigGlobal mR0 (xL0, [xR0]) rR0 t_n_0_0 t_n_1_0
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 #
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) = SigGlobal mR0 (xL0, [xR0]) (Vector (rL0, rR0)) t_n_0_0 t_n_1_0

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 #