DP.HMM.States2

Documentation

data SigHMM m s r t_x_0_

Constructors

SigHMM

Fields

• done :: (() -> s)
• mstay :: (s -> t_x_0_ -> s)
• mtop :: (s -> t_x_0_ -> s)
• pstay :: (s -> t_x_0_ -> s)
• ptom :: (s -> t_x_0_ -> s)
• h :: (Stream m s -> m r)

Instances

(Monad mL0, Monad mR0, Eq xL0, (~) (* -> *) mL0 mR0, (~) * xL0 rL0) => ProductBacktracking (SigHMM mL0 xL0 rL0 t_x_0_0) (SigHMM mR0 xR0 rR0 t_x_0_0)

Associated Types

type SigBacktracking (SigHMM mL0 xL0 rL0 t_x_0_0) (SigHMM mR0 xR0 rR0 t_x_0_0) :: *

Methods

(<||) :: SigHMM mL0 xL0 rL0 t_x_0_0 -> SigHMM mR0 xR0 rR0 t_x_0_0 -> SigBacktracking (SigHMM mL0 xL0 rL0 t_x_0_0) (SigHMM mR0 xR0 rR0 t_x_0_0)

(Monad mL0, Monad mR0, Eq xL0, Ord xL0, Ord xR0, (~) (* -> *) mL0 mR0) => ProductCombining (SigHMM mL0 xL0 rL0 t_x_0_0) (SigHMM mR0 xR0 rR0 t_x_0_0)

Associated Types

type SigCombining (SigHMM mL0 xL0 rL0 t_x_0_0) (SigHMM mR0 xR0 rR0 t_x_0_0) :: *

Methods

(**>) :: SigHMM mL0 xL0 rL0 t_x_0_0 -> SigHMM mR0 xR0 rR0 t_x_0_0 -> SigCombining (SigHMM mL0 xL0 rL0 t_x_0_0) (SigHMM mR0 xR0 rR0 t_x_0_0)

type SigBacktracking (SigHMM mL0 xL0 rL0 t_x_0_0) (SigHMM mR0 xR0 rR0 t_x_0_0)

type SigBacktracking (SigHMM mL0 xL0 rL0 t_x_0_0) (SigHMM mR0 xR0 rR0 t_x_0_0) = SigHMM mR0 (xL0, [xR0]) rR0 t_x_0_0

type SigCombining (SigHMM mL0 xL0 rL0 t_x_0_0) (SigHMM mR0 xR0 rR0 t_x_0_0)

type SigCombining (SigHMM mL0 xL0 rL0 t_x_0_0) (SigHMM mR0 xR0 rR0 t_x_0_0) = SigHMM mR0 (xL0, [xR0]) (Vector (rL0, rR0)) t_x_0_0

gHMM :: ((~#) * * (Fun (Arg ((:!:) (Stack (TW t (i -> i -> t5 t3))) b) -> t4)) (t4 -> t2 -> t4), (~#) * * (Fun (Arg ((:!:) (Stack (TW t1 (i1 -> i1 -> t5 t3))) b) -> t4)) (t4 -> t2 -> t4), Element ((:!:) (Stack (TW t (i -> i -> t5 t3))) b) i, Element ((:!:) (Stack (TW t (i -> i -> t5 t3))) b) i1, Element ((:!:) (Stack (TW t1 (i1 -> i1 -> t5 t3))) b) i, Element ((:!:) (Stack (TW t1 (i1 -> i1 -> t5 t3))) b) i1, MkStream t5 ((:!:) S Epsilon) i1, MkStream t5 ((:!:) (Stack (TW t (i -> i -> t5 t3))) b) i, MkStream t5 ((:!:) (Stack (TW t (i -> i -> t5 t3))) b) i1, MkStream t5 ((:!:) (Stack (TW t1 (i1 -> i1 -> t5 t3))) b) i, MkStream t5 ((:!:) (Stack (TW t1 (i1 -> i1 -> t5 t3))) b) i1, RuleContext i, RuleContext i1, Apply (Arg ((:!:) (Stack (TW t (i -> i -> t5 t3))) b) -> t4), Apply (Arg ((:!:) (Stack (TW t1 (i1 -> i1 -> t5 t3))) b) -> t4), Build (TW t (i -> i -> t5 t3)), Build (TW t1 (i1 -> i1 -> t5 t3))) => SigHMM t5 t4 t3 t2 -> t1 -> t -> b -> (:.) ((:.) Z (TW t1 (i1 -> i1 -> t5 t3))) (TW t (i -> i -> t5 t3))