| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ADP.Fusion.SynVar.Array.Subword
- class FirstSecond x k where
- greenLight :: x -> k -> Bool
- class FirstSecondIdx x k i where
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
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 |