Data.Logical.Knot

Documentation

data Knot i x a

Instances

Ord i => MonadKnot i x (Knot i x)

Monad (Knot i x)

MonadFix (Knot i x)

data KnotT i x m a

Instances

(Monad m, Ord i) => MonadKnot i x (KnotT i x m)

MonadTrans (KnotT i x)

Monad m => Monad (KnotT i x m)

MonadFix m => MonadFix (KnotT i x m)

class (Monad m, Ord i) => MonadKnot i x m | m -> i x where

Methods

askKnot :: i -> m x

askKnotDef :: x -> i -> m x

(*=) :: i -> x -> m ()

Instances

MonadKnot VarId x (Let x)

Ord i => MonadKnot i x (Knot i x)

MonadKnot i x m => MonadKnot i x (StateT s m)

Monad m => MonadKnot VarId x (LetT x m)

(Monad m, Ord i) => MonadKnot i x (KnotT i x m)

accKnot :: Ord i => (x -> x -> x) -> Knot i x a -> (a, Map i x)

tieKnot :: Ord i => Knot i x a -> (a, Map i x)

accKnotT :: (Ord i, MonadFix m) => (x -> x -> x) -> KnotT i x m a -> m (a, Map i x)

tieKnotT :: (Ord i, MonadFix m) => KnotT i x m a -> m (a, Map i x)