Yampa-0.9.2: Library for programming hybrid systems. Source code Contents Index

FRP.Yampa

Documentation

module FRP.Yampa.VectorSpace

(#) :: (a -> b) -> (b -> c) -> a -> c Source

dup :: a -> (a, a) Source

swap :: (a, b) -> (b, a) Source

type Time = Double Source

data SF a b Source

Instances Arrow SF ArrowLoop SF

data Event a Source

Constructors NoEvent Event a Instances Functor Event Eq a => Eq (Event a) Ord a => Ord (Event a) Show a => Show (Event a) Forceable a => Forceable (Event a)

arrPrim :: (a -> b) -> SF a b Source

arrEPrim :: (Event a -> b) -> SF (Event a) b Source

identity :: SF a a Source

constant :: b -> SF a b Source

localTime :: SF a Time Source

time :: SF a Time Source

(-->) :: b -> SF a b -> SF a b Source

(>--) :: a -> SF a b -> SF a b Source

(-=>) :: (b -> b) -> SF a b -> SF a b Source

(>=-) :: (a -> a) -> SF a b -> SF a b Source

initially :: a -> SF a a Source

sscan :: (b -> a -> b) -> b -> SF a b Source

sscanPrim :: (c -> a -> Maybe (c, b)) -> c -> b -> SF a b Source

never :: SF a (Event b) Source

now :: b -> SF a (Event b) Source

after :: Time -> b -> SF a (Event b) Source

repeatedly :: Time -> b -> SF a (Event b) Source

afterEach :: [(Time, b)] -> SF a (Event b) Source

afterEachCat :: [(Time, b)] -> SF a (Event [b]) Source

delayEvent :: Time -> SF (Event a) (Event a) Source

delayEventCat :: Time -> SF (Event a) (Event [a]) Source

edge :: SF Bool (Event ()) Source

iEdge :: Bool -> SF Bool (Event ()) Source

edgeTag :: a -> SF Bool (Event a) Source

edgeJust :: SF (Maybe a) (Event a) Source

edgeBy :: (a -> a -> Maybe b) -> a -> SF a (Event b) Source

notYet :: SF (Event a) (Event a) Source

once :: SF (Event a) (Event a) Source

takeEvents :: Int -> SF (Event a) (Event a) Source

dropEvents :: Int -> SF (Event a) (Event a) Source

switch :: SF a (b, Event c) -> (c -> SF a b) -> SF a b Source

dSwitch :: SF a (b, Event c) -> (c -> SF a b) -> SF a b Source

rSwitch :: SF a b -> SF (a, Event (SF a b)) b Source

drSwitch :: SF a b -> SF (a, Event (SF a b)) b Source

kSwitch :: SF a b -> SF (a, b) (Event c) -> (SF a b -> c -> SF a b) -> SF a b Source

dkSwitch :: SF a b -> SF (a, b) (Event c) -> (SF a b -> c -> SF a b) -> SF a b Source

parB :: Functor col => col (SF a b) -> SF a (col b) Source

pSwitchB :: Functor col => col (SF a b) -> SF (a, col b) (Event c) -> (col (SF a b) -> c -> SF a (col b)) -> SF a (col b) Source

dpSwitchB :: Functor col => col (SF a b) -> SF (a, col b) (Event c) -> (col (SF a b) -> c -> SF a (col b)) -> SF a (col b) Source

rpSwitchB :: Functor col => col (SF a b) -> SF (a, Event (col (SF a b) -> col (SF a b))) (col b) Source

drpSwitchB :: Functor col => col (SF a b) -> SF (a, Event (col (SF a b) -> col (SF a b))) (col b) Source

par :: Functor col => (forall sf. a -> col sf -> col (b, sf)) -> col (SF b c) -> SF a (col c) Source

pSwitch :: Functor col => (forall sf. a -> col sf -> col (b, sf)) -> col (SF b c) -> SF (a, col c) (Event d) -> (col (SF b c) -> d -> SF a (col c)) -> SF a (col c) Source

dpSwitch :: Functor col => (forall sf. a -> col sf -> col (b, sf)) -> col (SF b c) -> SF (a, col c) (Event d) -> (col (SF b c) -> d -> SF a (col c)) -> SF a (col c) Source

rpSwitch :: Functor col => (forall sf. a -> col sf -> col (b, sf)) -> col (SF b c) -> SF (a, Event (col (SF b c) -> col (SF b c))) (col c) Source

drpSwitch :: Functor col => (forall sf. a -> col sf -> col (b, sf)) -> col (SF b c) -> SF (a, Event (col (SF b c) -> col (SF b c))) (col c) Source

old_hold :: a -> SF (Event a) a Source

hold :: a -> SF (Event a) a Source

dHold :: a -> SF (Event a) a Source

trackAndHold :: a -> SF (Maybe a) a Source

old_accum :: a -> SF (Event (a -> a)) (Event a) Source

old_accumBy :: (b -> a -> b) -> b -> SF (Event a) (Event b) Source

old_accumFilter :: (c -> a -> (c, Maybe b)) -> c -> SF (Event a) (Event b) Source

accum :: a -> SF (Event (a -> a)) (Event a) Source

accumHold :: a -> SF (Event (a -> a)) a Source

dAccumHold :: a -> SF (Event (a -> a)) a Source

accumBy :: (b -> a -> b) -> b -> SF (Event a) (Event b) Source

accumHoldBy :: (b -> a -> b) -> b -> SF (Event a) b Source

dAccumHoldBy :: (b -> a -> b) -> b -> SF (Event a) b Source

accumFilter :: (c -> a -> (c, Maybe b)) -> c -> SF (Event a) (Event b) Source

old_pre :: SF a a Source

old_iPre :: a -> SF a a Source

pre :: SF a a Source

iPre :: a -> SF a a Source

delay :: Time -> a -> SF a a Source

integral :: VectorSpace a s => SF a a Source

derivative :: VectorSpace a s => SF a a Source

imIntegral :: VectorSpace a s => a -> SF a a Source

loopPre :: c -> SF (a, c) (b, c) -> SF a b Source

loopIntegral :: VectorSpace c s => SF (a, c) (b, c) -> SF a b Source

noEvent :: Event a Source

noEventFst :: (Event a, b) -> (Event c, b) Source

noEventSnd :: (a, Event b) -> (a, Event c) Source

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

fromEvent :: Event a -> a Source

isEvent :: Event a -> Bool Source

isNoEvent :: Event a -> Bool Source

tag :: Event a -> b -> Event b Source

tagWith :: b -> Event a -> Event b Source

attach :: Event a -> b -> Event (a, b) Source

lMerge :: Event a -> Event a -> Event a Source

rMerge :: Event a -> Event a -> Event a Source

merge :: Event a -> Event a -> Event a Source

mergeBy :: (a -> a -> a) -> Event a -> Event a -> Event a Source

mapMerge :: (a -> c) -> (b -> c) -> (a -> b -> c) -> Event a -> Event b -> Event c Source

mergeEvents :: [Event a] -> Event a Source

catEvents :: [Event a] -> Event [a] Source

joinE :: Event a -> Event b -> Event (a, b) Source

splitE :: Event (a, b) -> (Event a, Event b) Source

filterE :: (a -> Bool) -> Event a -> Event a Source

mapFilterE :: (a -> Maybe b) -> Event a -> Event b Source

gate :: Event a -> Bool -> Event a Source

noise :: (RandomGen g, Random b) => g -> SF a b Source

noiseR :: (RandomGen g, Random b) => (b, b) -> g -> SF a b Source

occasionally :: RandomGen g => g -> Time -> b -> SF a (Event b) Source

reactimate :: IO a -> (Bool -> IO (DTime, Maybe a)) -> (Bool -> b -> IO Bool) -> SF a b -> IO () Source

type DTime = Double Source

embed :: SF a b -> (a, [(DTime, Maybe a)]) -> [b] Source

embedSynch :: SF a b -> (a, [(DTime, Maybe a)]) -> SF Double b Source

deltaEncode :: Eq a => DTime -> [a] -> (a, [(DTime, Maybe a)]) Source

deltaEncodeBy :: (a -> a -> Bool) -> DTime -> [a] -> (a, [(DTime, Maybe a)]) Source

Produced by Haddock version 2.3.0