Raaz.Core.MonoidalAction

Monoidal action

class LAction m space

class Distributive m space

data SemiR space m

(<++>)

semiRSpace

semiRMonoid

Monoidal action on functors

class LActionF m f

class DistributiveF m f

data TwistRF f m a

twistFunctorValue

twistMonoidValue

Fields

type FieldA arrow

type FieldM monad

type Field

computeField

runFieldM

liftToFieldM