Data.Extensible.Tangle

Extensible tangles

Documentation

newtype TangleT xs h m a

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

Constructors

TangleT

Fields

• unTangleT :: RWST (xs :& Compose (TangleT xs h m) h) () (xs :& Nullable h) m a

Instances

MonadTrans (TangleT xs h)

Defined in Data.Extensible.Tangle

Methods

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

Monad m => Applicative (TangleT xs h m)

Defined in Data.Extensible.Tangle

Methods

pure :: a -> TangleT xs h m a

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

liftA2 :: (a -> b -> c) -> TangleT xs h m a -> TangleT xs h m b -> TangleT xs h m c

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

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

Functor m => Functor (TangleT xs h m)

Defined in Data.Extensible.Tangle

Methods

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

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

Monad m => Monad (TangleT xs h m)

Defined in Data.Extensible.Tangle

Methods

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

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

return :: a -> TangleT xs h m a

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

Defined in Data.Extensible.Tangle

Methods

mempty :: TangleT xs h m a

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

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

(Monad m, Semigroup a) => Semigroup (TangleT xs h m a)

Defined in Data.Extensible.Tangle

Methods

(<>) :: TangleT xs h m a -> TangleT xs h m a -> TangleT xs h m a

sconcat :: NonEmpty (TangleT xs h m a) -> TangleT xs h m a

stimes :: Integral b => b -> TangleT xs h m a -> TangleT xs h m a

lasso :: forall k v m h xs. (Monad m, Lookup xs k v, Wrapper h) => Proxy k -> TangleT xs h m (Repr h (k ':> v))

Hitch an element associated to the FieldName through a wrapper.

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

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

runTangleT :: Monad m => (xs :& Compose (TangleT xs h m) h) -> (xs :& Nullable h) -> TangleT xs h m a -> m (a, xs :& Nullable h)

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

evalTangleT :: Monad m => (xs :& Compose (TangleT xs h m) h) -> (xs :& Nullable h) -> TangleT xs h m a -> m a

Run a TangleT action.

runTangles :: Monad m => (xs :& Compose (TangleT xs h m) h) -> (xs :& Nullable h) -> m (xs :& h)

Run tangles and collect all the results as a Record.