Data.Comp.Multi.Mutable

Description

Experimental module for mutable terms.

Documentation

Instances details

MonadIO Mut Source #
Instance details Defined in Data.Comp.Multi.Mutable Methods liftIO :: IO a -> Mut a #
Applicative Mut Source #
Instance details Defined in Data.Comp.Multi.Mutable Methods 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 #
Functor Mut Source #
Instance details Defined in Data.Comp.Multi.Mutable Methods fmap :: (a -> b) -> Mut a -> Mut b # (<$) :: a -> Mut b -> Mut a #
Monad Mut Source #
Instance details Defined in Data.Comp.Multi.Mutable Methods (>>=) :: Mut a -> (a -> Mut b) -> Mut b # (>>) :: Mut a -> Mut b -> Mut b # return :: a -> Mut a #

data Cell (f :: (Type -> Type) -> Type -> Type) (g :: Type -> Type) i Source #

Constructors

Cell
Fields parent :: IORef (Maybe (E g)) elt :: f (HIORef g) i

type MutCxt h (f :: (Type -> Type) -> Type -> Type) = Cxt h (Cell f) Source #