slim-0.0.1: Functional reative user interface programming

Safe HaskellNone
LanguageHaskell2010

Slim

Synopsis

Documentation

data Local t Source #

Instances

Functor (Behavior (Local t)) Source # 

Methods

fmap :: (a -> b) -> Behavior (Local t) a -> Behavior (Local t) b #

(<$) :: a -> Behavior (Local t) b -> Behavior (Local t) a #

Functor (Event (Local t)) Source # 

Methods

fmap :: (a -> b) -> Event (Local t) a -> Event (Local t) b #

(<$) :: a -> Event (Local t) b -> Event (Local t) a #

Applicative (Behavior (Local t)) Source # 

Methods

pure :: a -> Behavior (Local t) a #

(<*>) :: Behavior (Local t) (a -> b) -> Behavior (Local t) a -> Behavior (Local t) b #

(*>) :: Behavior (Local t) a -> Behavior (Local t) b -> Behavior (Local t) b #

(<*) :: Behavior (Local t) a -> Behavior (Local t) b -> Behavior (Local t) a #

Monoid (Event (Local t) a) Source # 

Methods

mempty :: Event (Local t) a #

mappend :: Event (Local t) a -> Event (Local t) a -> Event (Local t) a #

mconcat :: [Event (Local t) a] -> Event (Local t) a #

data Event t a Source #

Instances

Functor (Event Shared) Source # 

Methods

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

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

Functor (Event (Local t)) Source # 

Methods

fmap :: (a -> b) -> Event (Local t) a -> Event (Local t) b #

(<$) :: a -> Event (Local t) b -> Event (Local t) a #

Show (Event t a) Source # 

Methods

showsPrec :: Int -> Event t a -> ShowS #

show :: Event t a -> String #

showList :: [Event t a] -> ShowS #

Monoid (Event Shared a) Source # 
Monoid (Event (Local t) a) Source # 

Methods

mempty :: Event (Local t) a #

mappend :: Event (Local t) a -> Event (Local t) a -> Event (Local t) a #

mconcat :: [Event (Local t) a] -> Event (Local t) a #

data Behavior t a Source #

Instances

Functor (Behavior Shared) Source # 

Methods

fmap :: (a -> b) -> Behavior Shared a -> Behavior Shared b #

(<$) :: a -> Behavior Shared b -> Behavior Shared a #

Functor (Behavior (Local t)) Source # 

Methods

fmap :: (a -> b) -> Behavior (Local t) a -> Behavior (Local t) b #

(<$) :: a -> Behavior (Local t) b -> Behavior (Local t) a #

Applicative (Behavior Shared) Source # 
Applicative (Behavior (Local t)) Source # 

Methods

pure :: a -> Behavior (Local t) a #

(<*>) :: Behavior (Local t) (a -> b) -> Behavior (Local t) a -> Behavior (Local t) b #

(*>) :: Behavior (Local t) a -> Behavior (Local t) b -> Behavior (Local t) b #

(<*) :: Behavior (Local t) a -> Behavior (Local t) b -> Behavior (Local t) a #

stepper :: a -> Event (Local t) a -> Behavior (Local t) a Source #

accumB :: a -> Event (Local t) (a -> a) -> Behavior (Local t) a Source #

track :: Eq k => Behavior (Local t) [k] -> (k -> StartComponent a) -> Behavior (Local t) [Component (Dynamic t) a] Source #

merge :: Event (Local t) a -> Event (Local t) a -> Event (Local t) a Source #

mergeAll :: [Event (Local t) a] -> Event (Local t) a Source #

whenJust :: Event t (Maybe a) -> Event t a Source #

data Component t a Source #

Instances

Functor (Component t) Source # 

Methods

fmap :: (a -> b) -> Component t a -> Component t b #

(<$) :: a -> Component t b -> Component t a #

Show (Component t a) Source # 

Methods

showsPrec :: Int -> Component t a -> ShowS #

show :: Component t a -> String #

showList :: [Component t a] -> ShowS #

data Start t a Source #

Instances

Monad (Start t) Source # 

Methods

(>>=) :: Start t a -> (a -> Start t b) -> Start t b #

(>>) :: Start t a -> Start t b -> Start t b #

return :: a -> Start t a #

fail :: String -> Start t a #

Functor (Start t) Source # 

Methods

fmap :: (a -> b) -> Start t a -> Start t b #

(<$) :: a -> Start t b -> Start t a #

MonadFix (Start t) Source # 

Methods

mfix :: (a -> Start t a) -> Start t a #

Applicative (Start t) Source # 

Methods

pure :: a -> Start t a #

(<*>) :: Start t (a -> b) -> Start t a -> Start t b #

(*>) :: Start t a -> Start t b -> Start t b #

(<*) :: Start t a -> Start t b -> Start t a #

data StartComponent a Source #

Constructors

StartComponent (forall s. Start s (Component (Dynamic s) a)) 

data Void :: * #

Uninhabited data type

Since: 4.8.0.0

Instances

Eq Void 

Methods

(==) :: Void -> Void -> Bool #

(/=) :: Void -> Void -> Bool #

Data Void 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Void -> c Void #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Void #

toConstr :: Void -> Constr #

dataTypeOf :: Void -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Void) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Void) #

gmapT :: (forall b. Data b => b -> b) -> Void -> Void #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Void -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Void -> r #

gmapQ :: (forall d. Data d => d -> u) -> Void -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Void -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Void -> m Void #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Void -> m Void #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Void -> m Void #

Ord Void 

Methods

compare :: Void -> Void -> Ordering #

(<) :: Void -> Void -> Bool #

(<=) :: Void -> Void -> Bool #

(>) :: Void -> Void -> Bool #

(>=) :: Void -> Void -> Bool #

max :: Void -> Void -> Void #

min :: Void -> Void -> Void #

Read Void

Reading a Void value is always a parse error, considering Void as a data type with no constructors.

Show Void 

Methods

showsPrec :: Int -> Void -> ShowS #

show :: Void -> String #

showList :: [Void] -> ShowS #

Ix Void 

Methods

range :: (Void, Void) -> [Void] #

index :: (Void, Void) -> Void -> Int #

unsafeIndex :: (Void, Void) -> Void -> Int

inRange :: (Void, Void) -> Void -> Bool #

rangeSize :: (Void, Void) -> Int #

unsafeRangeSize :: (Void, Void) -> Int

Generic Void 

Associated Types

type Rep Void :: * -> * #

Methods

from :: Void -> Rep Void x #

to :: Rep Void x -> Void #

Exception Void 
type Rep Void 
type Rep Void = D1 (MetaData "Void" "Data.Void" "base" False) V1