ADPfusionSet-0.0.0.2: Dynamic programming for Set data structures.

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.Core.Set1

Contents

Description

Bitsets BS1 i are bitsets where one of the active bits is annotated as the first or last bit that has been set. In principle, being first or last is exchangeable, but is made explicit to allow for type-different sets.

Documentation

Orphan instances

MinSize c => TableStaticVar u c (BS1 s O) Source # 

Methods

tableStaticVar :: Proxy * u -> c -> Context (BS1 s O) -> BS1 s O -> Context (BS1 s O) #

tableStreamIndex :: Proxy * u -> c -> Context (BS1 s O) -> BS1 s O -> BS1 s O #

MinSize c => TableStaticVar u c (BS1 s I) Source # 

Methods

tableStaticVar :: Proxy * u -> c -> Context (BS1 s I) -> BS1 s I -> Context (BS1 s I) #

tableStreamIndex :: Proxy * u -> c -> Context (BS1 s I) -> BS1 s I -> BS1 s I #

Monad m => MkStream m S (BS1 i O) Source # 

Methods

mkStream :: S -> Context (BS1 i O) -> BS1 i O -> BS1 i O -> Stream m (Elm S (BS1 i O)) #

Monad m => MkStream m S (BS1 i I) Source # 

Methods

mkStream :: S -> Context (BS1 i I) -> BS1 i I -> BS1 i I -> Stream m (Elm S (BS1 i I)) #

RuleContext (BS1 i O) Source # 

Associated Types

type Context (BS1 i O) :: * #

Methods

initialContext :: BS1 i O -> Context (BS1 i O) #

RuleContext (BS1 i I) Source # 

Associated Types

type Context (BS1 i I) :: * #

Methods

initialContext :: BS1 i I -> Context (BS1 i I) #