Data.Comp.Multi.Mutable
Description
Experimental module for mutable terms.
type Label = Int Source #
data Mut a Source #
Defined in Data.Comp.Multi.Mutable
Methods
(>>=) :: Mut a -> (a -> Mut b) -> Mut b #
(>>) :: Mut a -> Mut b -> Mut b #
return :: a -> Mut a #
fmap :: (a -> b) -> Mut a -> Mut b #
(<$) :: a -> Mut b -> Mut a #
pure :: a -> Mut a #
(<*>) :: Mut (a -> b) -> Mut a -> Mut b #
liftA2 :: (a -> b -> c) -> Mut a -> Mut b -> Mut c #
(*>) :: Mut a -> Mut b -> Mut b #
(<*) :: Mut a -> Mut b -> Mut a #
liftIO :: IO a -> Mut a #
type HMut = HMonad Mut Source #
data Cell f g i Source #
Constructors
Fields
type MutCxt h f = Cxt h (Cell f) Source #
type MutTerm f = MutCxt NoHole f (K ()) Source #