Safe Haskell | None |
---|---|
Language | Haskell2010 |
- module ADP.Fusion.SynVar.Array.Type
- type ITblCx m ls arr x u c i = (TableStaticVar u c i, MkStream m ls i, Element ls i, AddIndexDense (Elm (SynVar1 (Elm ls i)) (Z :. i)) (Z :. u) (Z :. c) (Z :. i), PrimArrayOps arr u x)
- iTblStream :: forall m ls arr x u c i. ITblCx m ls arr x u c i => Pair ls (ITbl m arr c u x) -> Context i -> i -> i -> Stream m (Elm (ls :!: ITbl m arr c u x) i)
- btITblStream :: forall mB mF ls arr x r u c i. ITblCx mB ls arr x u c i => Pair ls (Backtrack (ITbl mF arr c u x) mF mB r) -> Context i -> i -> i -> Stream mB (Elm (ls :!: Backtrack (ITbl mF arr c u x) mF mB r) i)
Documentation
module ADP.Fusion.SynVar.Array.Type
type ITblCx m ls arr x u c i = (TableStaticVar u c i, MkStream m ls i, Element ls i, AddIndexDense (Elm (SynVar1 (Elm ls i)) (Z :. i)) (Z :. u) (Z :. c) (Z :. i), PrimArrayOps arr u x) Source
Constraints needed to use iTblStream
.
iTblStream :: forall m ls arr x u c i. ITblCx m ls arr x u c i => Pair ls (ITbl m arr c u x) -> Context i -> i -> i -> Stream m (Elm (ls :!: ITbl m arr c u x) i) Source
General function for ITbl
s with skalar indices.
btITblStream :: forall mB mF ls arr x r u c i. ITblCx mB ls arr x u c i => Pair ls (Backtrack (ITbl mF arr c u x) mF mB r) -> Context i -> i -> i -> Stream mB (Elm (ls :!: Backtrack (ITbl mF arr c u x) mF mB r) i) Source
General function for Backtrack ITbl
s with skalar indices.