Data.Extensible.Tangle

Extensible tangles

Documentation

newtype TangleT h xs m a

TangleT h xs m is the monad of computations that may depend on the elements in xs.

Constructors

TangleT

Fields

• unTangleT :: RWST (Comp (TangleT h xs m) h :* xs) () (Nullable h :* xs) m a

Instances

MonadTrans (TangleT k h xs)

Methods

lift :: Monad m => m a -> TangleT k h xs m a

Monad m => Monad (TangleT k h xs m)

Methods

(>>=) :: TangleT k h xs m a -> (a -> TangleT k h xs m b) -> TangleT k h xs m b

(>>) :: TangleT k h xs m a -> TangleT k h xs m b -> TangleT k h xs m b

return :: a -> TangleT k h xs m a

fail :: String -> TangleT k h xs m a

Functor m => Functor (TangleT k h xs m)

Methods

fmap :: (a -> b) -> TangleT k h xs m a -> TangleT k h xs m b

(<$) :: a -> TangleT k h xs m b -> TangleT k h xs m a

Monad m => Applicative (TangleT k h xs m)

Methods

pure :: a -> TangleT k h xs m a

(<*>) :: TangleT k h xs m (a -> b) -> TangleT k h xs m a -> TangleT k h xs m b

(*>) :: TangleT k h xs m a -> TangleT k h xs m b -> TangleT k h xs m b

(<*) :: TangleT k h xs m a -> TangleT k h xs m b -> TangleT k h xs m a

(Monad m, Monoid a) => Monoid (TangleT k h xs m a)

Methods

mempty :: TangleT k h xs m a

mappend :: TangleT k h xs m a -> TangleT k h xs m a -> TangleT k h xs m a

mconcat :: [TangleT k h xs m a] -> TangleT k h xs m a

lasso :: forall k v m h xs. (Monad m, Associate k v xs, Wrapper h) => FieldName k -> TangleT h xs m (Repr h (k :> v))

Hitch an element associated to the FieldName through a wrapper.

hitchAt :: Monad m => Membership xs x -> TangleT h xs m (h x)

Take a value from the tangles. The result is memoized.

runTangleT

Arguments

:: Monad m

=> (Comp (TangleT h xs m) h :* xs)

tangle matrix

-> (Nullable h :* xs)

pre-calculated values

-> TangleT h xs m a

-> m (a, Nullable h :* xs)

Run a TangleT action and return the result and the calculated values.

evalTangleT

Arguments

:: Monad m

=> (Comp (TangleT h xs m) h :* xs)

tangle matrix

-> (Nullable h :* xs)

pre-calculated values

-> TangleT h xs m a

-> m a

Run a TangleT action.

runTangles

Arguments

:: Monad m

=> (Comp (TangleT h xs m) h :* xs)

tangle matrix

-> (Nullable h :* xs)

pre-calculated values

-> m (h :* xs)

Run tangles and collect all the results as a Record.