React.Ix.EffR

newtype EffR (e :: Row Effect) i o a

Indexed monad that track changes of types i o. Note that here we are tracking changes on the type level while in ReactThisIx we are tracking changes using # Type kind.

Constructors

• EffR (Eff e a)

Instances

• Newtype (EffR e (RProxy i) (RProxy o) a) _
• Functor (EffR e (RProxy i) (RProxy o))
• Apply (EffR e (RProxy i) (RProxy i))
• Applicative (EffR e (RProxy i) (RProxy i))
• Bind (EffR e (RProxy i) (RProxy i))
• Monad (EffR e (RProxy i) (RProxy i))
• MonadEff e (EffR e (RProxy i) (RProxy i))

  Sometimes puresript has difficulty inferring phantom types involved. In this case either add explicit type application or use EffR directly across your monadic computation.

• IxMonad (EffR e)

unsafePerformEffR :: forall a o i e. EffR e (RProxy i) (RProxy o) a -> a