Wumpus.Basic.Kernel.Drawing.Chain

Chaining moveable LocGraphics.

Documentation

data GenChain st u a

Instances

Monad (GenChain st u)

Functor (GenChain st u)

Applicative (GenChain st u)

DrawingCtxM (GenChain st u)

InterpretUnit u => LocationM (GenChain st u)

UserStateM (GenChain st u)

Monoid a => Monoid (GenChain st u a)

type Chain u a = GenChain () u a

type DChain a = Chain Double a

data ChainScheme u

scheme_start is a function from the origin to state.

For instance, we might want to cache the origin - this would not be possible if start was just a pure cst value.

Constructors

forall cst . ChainScheme

Fields

chain_init :: Point2 u -> cst

chain_step :: Point2 u -> cst -> (Point2 u, cst)

runGenChain :: InterpretUnit u => ChainScheme u -> st -> GenChain st u a -> LocImage u (a, st)

evalGenChain :: InterpretUnit u => ChainScheme u -> st -> GenChain st u a -> LocImage u a

Forget the user state LocImage, just return the answer.

execGenChain :: InterpretUnit u => ChainScheme u -> st -> GenChain st u a -> LocImage u st

Forget the answer, just return the user state.

stripGenChain :: InterpretUnit u => ChainScheme u -> st -> GenChain st u a -> LocQuery u (a, st)

runChain :: InterpretUnit u => ChainScheme u -> Chain u a -> LocImage u a

runChain_ :: InterpretUnit u => ChainScheme u -> Chain u a -> LocGraphic u

chain1 :: InterpretUnit u => LocImage u a -> GenChain st u a

sequenceChain :: InterpretUnit u => [LocImage u a] -> GenChain st u (UNil u)

setChainScheme :: InterpretUnit u => ChainScheme u -> GenChain st u ()

chainPrefix :: ChainScheme u -> Int -> ChainScheme u -> ChainScheme u

chainIterate :: (Point2 u -> Point2 u) -> ChainScheme u

horizontalChainScm :: Num u => u -> ChainScheme u

verticalChainScm :: Num u => u -> ChainScheme u

runChainH :: InterpretUnit u => u -> Chain u a -> LocImage u a

runChainV :: InterpretUnit u => u -> Chain u a -> LocImage u a

tableRowwiseScm :: Num u => Int -> (u, u) -> ChainScheme u

tableColumnwiseScm :: Num u => Int -> (u, u) -> ChainScheme u

runTableRowwise :: InterpretUnit u => Int -> (u, u) -> Chain u a -> LocImage u a

runTableColumnwise :: InterpretUnit u => Int -> (u, u) -> Chain u a -> LocImage u a

radialChain :: Floating u => u -> Radian -> Radian -> ChainScheme u