ADP.Fusion.SynVar.Array

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)

Constraints needed to use iTblStream.

iTblStream :: forall m ls arr x u c i. ITblCx m ls arr x u c i => Pair ls (TwITbl m arr c u x) -> Context i -> i -> i -> Stream m (Elm (ls :!: TwITbl m arr c u x) i)

General function for ITbls with skalar indices.

btITblStream :: forall mB mF ls arr x r u c i. ITblCx mB ls arr x u c i => Pair ls (TwITblBt arr c u x mF mB r) -> Context i -> i -> i -> Stream mB (Elm (ls :!: TwITblBt arr c u x mF mB r) i)

General function for Backtrack ITbls with skalar indices.

Instances

Orphan instances

(Monad mB, ITblCx mB ls arr x u c (i C)) => MkStream mB ((:!:) ls (TwITblBt arr c u x mF mB r)) (i C)

Methods

mkStream :: (ls :!: TwITblBt arr c u x mF mB r) -> Context (i C) -> i C -> i C -> Stream mB (Elm (ls :!: TwITblBt arr c u x mF mB r) (i C))

(Monad mB, ITblCx mB ls arr x u c (i O)) => MkStream mB ((:!:) ls (TwITblBt arr c u x mF mB r)) (i O)

Methods

mkStream :: (ls :!: TwITblBt arr c u x mF mB r) -> Context (i O) -> i O -> i O -> Stream mB (Elm (ls :!: TwITblBt arr c u x mF mB r) (i O))

(Monad mB, ITblCx mB ls arr x u c (i I)) => MkStream mB ((:!:) ls (TwITblBt arr c u x mF mB r)) (i I)

Methods

mkStream :: (ls :!: TwITblBt arr c u x mF mB r) -> Context (i I) -> i I -> i I -> Stream mB (Elm (ls :!: TwITblBt arr c u x mF mB r) (i I))

(Monad m, ITblCx m ls arr x u c (i C)) => MkStream m ((:!:) ls (TwITbl m arr c u x)) (i C)

Methods

mkStream :: (ls :!: TwITbl m arr c u x) -> Context (i C) -> i C -> i C -> Stream m (Elm (ls :!: TwITbl m arr c u x) (i C))

(Monad m, ITblCx m ls arr x u c (i O)) => MkStream m ((:!:) ls (TwITbl m arr c u x)) (i O)

Methods

mkStream :: (ls :!: TwITbl m arr c u x) -> Context (i O) -> i O -> i O -> Stream m (Elm (ls :!: TwITbl m arr c u x) (i O))

(Monad m, ITblCx m ls arr x u c (i I)) => MkStream m ((:!:) ls (TwITbl m arr c u x)) (i I)

Methods

mkStream :: (ls :!: TwITbl m arr c u x) -> Context (i I) -> i I -> i I -> Stream m (Elm (ls :!: TwITbl m arr c u x) (i I))

ModifyConstraint (TwITbl m arr EmptyOk i x)

Associated Types

type TNE (TwITbl m arr EmptyOk i x) :: *

type TE (TwITbl m arr EmptyOk i x) :: *

Methods

toNonEmpty :: TwITbl m arr EmptyOk i x -> TNE (TwITbl m arr EmptyOk i x)

toEmpty :: TwITbl m arr EmptyOk i x -> TE (TwITbl m arr EmptyOk i x)

ModifyConstraint (TwITblBt arr EmptyOk i x mF mB r)

Associated Types

type TNE (TwITblBt arr EmptyOk i x mF mB r) :: *

type TE (TwITblBt arr EmptyOk i x mF mB r) :: *

Methods

toNonEmpty :: TwITblBt arr EmptyOk i x mF mB r -> TNE (TwITblBt arr EmptyOk i x mF mB r)

toEmpty :: TwITblBt arr EmptyOk i x mF mB r -> TE (TwITblBt arr EmptyOk i x mF mB r)