ADPfusion-0.4.1.1: Efficient, high-level dynamic programming.

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.SynVar.Array.Subword

Synopsis

Documentation

class FirstSecond x k where Source

Get the previous index; this should really be made generic!

TODO This is probably a REALLY STUPID IDEA ;-)

Methods

greenLight :: x -> k -> Bool Source

Instances

FirstSecond S k 
FirstSecond ls (arr ((:.) ((:.) Z Subword) Subword) x) => FirstSecond ((:!:) ls (Backtrack (ITbl mF arr ((:.) ((:.) Z Subword) Subword) x) mF mB r)) (arr ((:.) ((:.) Z Subword) Subword) x) 
FirstSecond ls (arr ((:.) ((:.) Z Subword) Subword) x) => FirstSecond ((:!:) ls (ITbl m arr ((:.) ((:.) Z Subword) Subword) x)) (arr ((:.) ((:.) Z Subword) Subword) x) 

class FirstSecondIdx x k i where Source

Methods

greenIdx :: x -> i -> k -> Elm x i -> Subword Source

Instances

FirstSecondIdx S k i 
(FirstSecondIdx ls (arr ((:.) ((:.) Z Subword) Subword) x) Subword, (~) * (Elm ls Subword) (RecElm ((:!:) ls (Backtrack (ITbl mF arr ((:.) ((:.) Z Subword) Subword) x) mF mB r)) Subword), Element ls Subword) => FirstSecondIdx ((:!:) ls (Backtrack (ITbl mF arr ((:.) ((:.) Z Subword) Subword) x) mF mB r)) (arr ((:.) ((:.) Z Subword) Subword) x) Subword 
(FirstSecondIdx ls (arr ((:.) ((:.) Z Subword) Subword) x) Subword, (~) * (Elm ls Subword) (RecElm ((:!:) ls (ITbl m arr ((:.) ((:.) Z Subword) Subword) x)) Subword), Element ls Subword) => FirstSecondIdx ((:!:) ls (ITbl m arr ((:.) ((:.) Z Subword) Subword) x)) (arr ((:.) ((:.) Z Subword) Subword) x) Subword