Reactive.Banana.Model

Synopsis

Overview

Core Combinators

Event and Behavior

type Nat

type Time

data Event a

data Behavior a

interpret

First-order

never

unionWith

filterJust

apply

Moment and accumulation

data Moment a

accumE

stepper

Higher-order

valueB

observeE

switchE

switchB