Wired-0.2.2: Wire-aware hardware description
Data.Logical.Knot
data Knot i x a Source
Instances
data KnotT i x m a Source
class (Monad m, Ord i) => MonadKnot i x m | m -> i x whereSource
Methods
askKnot :: i -> m xSource
askKnotDef :: x -> i -> m xSource
(*=) :: i -> x -> m ()Source
accKnot :: Ord i => (x -> x -> x) -> Knot i x a -> (a, Map i x)Source
tieKnot :: Ord i => Knot i x a -> (a, Map i x)Source
accKnotT :: (Ord i, MonadFix m) => (x -> x -> x) -> KnotT i x m a -> m (a, Map i x)Source
tieKnotT :: (Ord i, MonadFix m) => KnotT i x m a -> m (a, Map i x)Source