Control.Moffy.Internal.Sig.Type

Type

newtype Sig s es a r

Constructors

Sig

Fields

• unSig :: React s es (ISig s es a r)

Instances

((es :+: es) ~ es, Mergeable es es es, Monoid r) => Applicative (Flip (Sig s es) r)

Defined in Control.Moffy.Internal.Sig

Methods

pure :: a -> Flip (Sig s es) r a

(<*>) :: Flip (Sig s es) r (a -> b) -> Flip (Sig s es) r a -> Flip (Sig s es) r b

liftA2 :: (a -> b -> c) -> Flip (Sig s es) r a -> Flip (Sig s es) r b -> Flip (Sig s es) r c

(*>) :: Flip (Sig s es) r a -> Flip (Sig s es) r b -> Flip (Sig s es) r b

(<*) :: Flip (Sig s es) r a -> Flip (Sig s es) r b -> Flip (Sig s es) r a

Functor (Flip (Sig s es) r)

Defined in Control.Moffy.Internal.Sig.Type

Methods

fmap :: (a -> b) -> Flip (Sig s es) r a -> Flip (Sig s es) r b

(<$) :: a -> Flip (Sig s es) r b -> Flip (Sig s es) r a

Applicative (Sig s es a)

Defined in Control.Moffy.Internal.Sig.Type

Methods

pure :: a0 -> Sig s es a a0

(<*>) :: Sig s es a (a0 -> b) -> Sig s es a a0 -> Sig s es a b

liftA2 :: (a0 -> b -> c) -> Sig s es a a0 -> Sig s es a b -> Sig s es a c

(*>) :: Sig s es a a0 -> Sig s es a b -> Sig s es a b

(<*) :: Sig s es a a0 -> Sig s es a b -> Sig s es a a0

Functor (Sig s es a)

Defined in Control.Moffy.Internal.Sig.Type

Methods

fmap :: (a0 -> b) -> Sig s es a a0 -> Sig s es a b

(<$) :: a0 -> Sig s es a b -> Sig s es a a0

Monad (Sig s es a)

Defined in Control.Moffy.Internal.Sig.Type

Methods

(>>=) :: Sig s es a a0 -> (a0 -> Sig s es a b) -> Sig s es a b

(>>) :: Sig s es a a0 -> Sig s es a b -> Sig s es a b

return :: a0 -> Sig s es a a0

data ISig s es a r

Constructors

End r

a :| (Sig s es a r) infixr 5

Instances

((es :+: es) ~ es, Mergeable es es es, Semigroup r) => Applicative (Flip (ISig s es) r)

Defined in Control.Moffy.Internal.Sig

Methods

pure :: a -> Flip (ISig s es) r a

(<*>) :: Flip (ISig s es) r (a -> b) -> Flip (ISig s es) r a -> Flip (ISig s es) r b

liftA2 :: (a -> b -> c) -> Flip (ISig s es) r a -> Flip (ISig s es) r b -> Flip (ISig s es) r c

(*>) :: Flip (ISig s es) r a -> Flip (ISig s es) r b -> Flip (ISig s es) r b

(<*) :: Flip (ISig s es) r a -> Flip (ISig s es) r b -> Flip (ISig s es) r a

Functor (Flip (ISig s es) r)

Defined in Control.Moffy.Internal.Sig.Type

Methods

fmap :: (a -> b) -> Flip (ISig s es) r a -> Flip (ISig s es) r b

(<$) :: a -> Flip (ISig s es) r b -> Flip (ISig s es) r a

Applicative (ISig s es a)

Defined in Control.Moffy.Internal.Sig.Type

Methods

pure :: a0 -> ISig s es a a0

(<*>) :: ISig s es a (a0 -> b) -> ISig s es a a0 -> ISig s es a b

liftA2 :: (a0 -> b -> c) -> ISig s es a a0 -> ISig s es a b -> ISig s es a c

(*>) :: ISig s es a a0 -> ISig s es a b -> ISig s es a b

(<*) :: ISig s es a a0 -> ISig s es a b -> ISig s es a a0

Functor (ISig s es a)

Defined in Control.Moffy.Internal.Sig.Type

Methods

fmap :: (a0 -> b) -> ISig s es a a0 -> ISig s es a b

(<$) :: a0 -> ISig s es a b -> ISig s es a a0

Monad (ISig s es a)

Defined in Control.Moffy.Internal.Sig.Type

Methods

(>>=) :: ISig s es a a0 -> (a0 -> ISig s es a b) -> ISig s es a b

(>>) :: ISig s es a a0 -> ISig s es a b -> ISig s es a b

return :: a0 -> ISig s es a a0

isig :: (r -> b) -> (a -> Sig s es a r -> b) -> ISig s es a r -> b

Function

Basic

emit :: a -> Sig s es a ()

emitAll :: ISig s es a r -> Sig s es a r

waitFor :: React s es r -> Sig s es a r

res :: Sig s es a r -> React s es r

ires :: ISig s es a r -> React s es r

hold :: Sig s es a r

Practical

repeat :: React s es a -> Sig s es a r

find :: (a -> Bool) -> Sig s es a r -> React s es (Either a r)

scanl :: (b -> a -> b) -> b -> Sig s es a r -> Sig s es b r