ADP.Fusion.Core.Point

Documentation

Orphan instances

Monad m => MkStream m S (PointL C)

Methods

mkStream :: S -> Context (PointL C) -> PointL C -> PointL C -> Stream m (Elm S (PointL C))

Monad m => MkStream m S (PointL O)

Methods

mkStream :: S -> Context (PointL O) -> PointL O -> PointL O -> Stream m (Elm S (PointL O))

Monad m => MkStream m S (PointL I)

Methods

mkStream :: S -> Context (PointL I) -> PointL I -> PointL I -> Stream m (Elm S (PointL I))

MinSize c => TableStaticVar u c (PointL C)

Methods

tableStaticVar :: Proxy * u -> c -> Context (PointL C) -> PointL C -> Context (PointL C)

tableStreamIndex :: Proxy * u -> c -> Context (PointL C) -> PointL C -> PointL C

MinSize c => TableStaticVar u c (PointL O)

Methods

tableStaticVar :: Proxy * u -> c -> Context (PointL O) -> PointL O -> Context (PointL O)

tableStreamIndex :: Proxy * u -> c -> Context (PointL O) -> PointL O -> PointL O

MinSize c => TableStaticVar u c (PointL I)

Methods

tableStaticVar :: Proxy * u -> c -> Context (PointL I) -> PointL I -> Context (PointL I)

tableStreamIndex :: Proxy * u -> c -> Context (PointL I) -> PointL I -> PointL I

(Monad m, MkStream m S is) => MkStream m S ((:.) is (PointL O))

Methods

mkStream :: S -> Context (is :. PointL O) -> (is :. PointL O) -> (is :. PointL O) -> Stream m (Elm S (is :. PointL O))

(Monad m, MkStream m S is) => MkStream m S ((:.) is (PointL I))

Methods

mkStream :: S -> Context (is :. PointL I) -> (is :. PointL I) -> (is :. PointL I) -> Stream m (Elm S (is :. PointL I))

RuleContext (PointL I)

Associated Types

type Context (PointL I) :: *

Methods

initialContext :: PointL I -> Context (PointL I)

RuleContext (PointL O)

Associated Types

type Context (PointL O) :: *

Methods

initialContext :: PointL O -> Context (PointL O)

RuleContext (PointL C)

Associated Types

type Context (PointL C) :: *

Methods

initialContext :: PointL C -> Context (PointL C)