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

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.Core.Point

Contents

Documentation

Orphan instances

Monad m => MkStream m S (PointL C) Source # 

Methods

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

Monad m => MkStream m S (PointL O) Source # 

Methods

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

Monad m => MkStream m S (PointL I) Source # 

Methods

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

MinSize c => TableStaticVar u c (PointL C) Source # 
MinSize c => TableStaticVar u c (PointL O) Source # 
MinSize c => TableStaticVar u c (PointL I) Source # 
(Monad m, MkStream m S is) => MkStream m S ((:.) is (PointL O)) Source # 

Methods

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

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

Methods

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

RuleContext (PointL I) Source # 

Associated Types

type Context (PointL I) :: * Source #

Methods

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

RuleContext (PointL O) Source # 

Associated Types

type Context (PointL O) :: * Source #

Methods

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

RuleContext (PointL C) Source # 

Associated Types

type Context (PointL C) :: * Source #

Methods

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