Control.Wire.Internal

Wires

newtype Wire m a b

Wire is a language for defining reactive systems. It is similar to the underlying monad m, but runs continuously.

Constructors

Wire

Fields

• stepWire :: a -> m (b, Wire m a b)

  Run a single frame of the given wire.

Instances

Monad m => Arrow (Wire m)

Methods

arr :: (b -> c) -> Wire m b c

first :: Wire m b c -> Wire m (b, d) (c, d)

second :: Wire m b c -> Wire m (d, b) (d, c)

(***) :: Wire m b c -> Wire m b' c' -> Wire m (b, b') (c, c')

(&&&) :: Wire m b c -> Wire m b c' -> Wire m b (c, c')

Monad m => ArrowChoice (Wire m)

Methods

left :: Wire m b c -> Wire m (Either b d) (Either c d)

right :: Wire m b c -> Wire m (Either d b) (Either d c)

(+++) :: Wire m b c -> Wire m b' c' -> Wire m (Either b b') (Either c c')

(|||) :: Wire m b d -> Wire m c d -> Wire m (Either b c) d

MonadFix m => ArrowLoop (Wire m)

Methods

loop :: Wire m (b, d) (c, d) -> Wire m b c

Applicative m => Choice (Wire m)

Methods

left' :: Wire m a b -> Wire m (Either a c) (Either b c)

right' :: Wire m a b -> Wire m (Either c a) (Either c b)

Functor m => Strong (Wire m)

Methods

first' :: Wire m a b -> Wire m (a, c) (b, c)

second' :: Wire m a b -> Wire m (c, a) (c, b)

MonadFix m => Costrong (Wire m)

Methods

unfirst :: Wire m (a, d) (b, d) -> Wire m a b

unsecond :: Wire m (d, a) (d, b) -> Wire m a b

Functor m => Profunctor (Wire m)

Methods

dimap :: (a -> b) -> (c -> d) -> Wire m b c -> Wire m a d

lmap :: (a -> b) -> Wire m b c -> Wire m a c

rmap :: (b -> c) -> Wire m a b -> Wire m a c

(#.) :: Coercible * c b => (b -> c) -> Wire m a b -> Wire m a c

(.#) :: Coercible * b a => Wire m b c -> (a -> b) -> Wire m a c

Monad m => Category * (Wire m)

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

Functor m => Functor (Wire m a)

Methods

fmap :: (a -> b) -> Wire m a a -> Wire m a b

(<$) :: a -> Wire m a b -> Wire m a a

Applicative m => Applicative (Wire m a)

Methods

pure :: a -> Wire m a a

(<*>) :: Wire m a (a -> b) -> Wire m a a -> Wire m a b

liftA2 :: (a -> b -> c) -> Wire m a a -> Wire m a b -> Wire m a c

(*>) :: Wire m a a -> Wire m a b -> Wire m a b

(<*) :: Wire m a a -> Wire m a b -> Wire m a a

delayW :: Functor m => b -> Wire m a b -> Wire m a b

Delay the result of the given wire by one frame.

Events

data Event a

An event is a timestamped stream of occurrences with payloads of the given type.

Constructors

NotNow

Not in this frame.

Now a

In this frame with the given value.

Instances

Functor Event

Methods

fmap :: (a -> b) -> Event a -> Event b

(<$) :: a -> Event b -> Event a

Plus Event

Methods

zero :: Event a

Alt Event

Methods

(<!>) :: Event a -> Event a -> Event a

some :: Applicative Event => Event a -> Event [a]

many :: Applicative Event => Event a -> Event [a]

Apply Event

Methods

(<.>) :: Event (a -> b) -> Event a -> Event b

(.>) :: Event a -> Event b -> Event b

(<.) :: Event a -> Event b -> Event a

Bind Event

Methods

(>>-) :: Event a -> (a -> Event b) -> Event b

join :: Event (Event a) -> Event a

Extend Event

Methods

duplicated :: Event a -> Event (Event a)

extended :: (Event a -> b) -> Event a -> Event b

Align Event

Methods

nil :: Event a

align :: Event a -> Event b -> Event (These a b)

alignWith :: (These a b -> c) -> Event a -> Event b -> Event c

Semigroup a => Semigroup (Event a)

Methods

(<>) :: Event a -> Event a -> Event a

sconcat :: NonEmpty (Event a) -> Event a

stimes :: Integral b => b -> Event a -> Event a

Semigroup a => Monoid (Event a)

Methods

mempty :: Event a

mappend :: Event a -> Event a -> Event a

mconcat :: [Event a] -> Event a

NFData a => NFData (Event a)

Methods

rnf :: Event a -> ()

event

Arguments

:: r

Not now.

-> (a -> r)

Now.

-> Event a

Event to fold.

-> r

Fold the given event.