RetroClash.Barbies

Documentation

type Pure b = b Bare Identity

type Partial b = Barbie (b Covered) Last

type Signals dom b = b Covered (Signal dom)

bbundle :: (Applicative f, BareB b, TraversableB (b Covered)) => b Covered f -> f (Pure b)

bunbundle :: (Functor f, BareB b, DistributiveB (b Covered)) => f (Pure b) -> b Covered f

Orphan instances

(BareB b, TraversableB (b Covered), DistributiveB (b Covered)) => Bundle (Pure b)

Associated Types

type Unbundled dom (Pure b) = (res :: Type)

Methods

bundle :: forall (dom :: Domain). Unbundled dom (Pure b) -> Signal dom (Pure b)

unbundle :: forall (dom :: Domain). Signal dom (Pure b) -> Unbundled dom (Pure b)