Safe Haskell | None |
---|---|
Language | Haskell2010 |
Brick application types
Synopsis
- type Box = Widget BoxId
- newtype BoxId = BoxId {}
- data Win = Win {}
- data Act = Quit
- data MouseUpEvent = MouseUpEvent BoxId (Maybe Button) Location
- data MouseDownEvent = MouseDownEvent BoxId Button [Modifier] Location
- newtype Run a = Run {}
- evalRun :: Run a -> Env -> IO a
- newtype Evt a = Evt {}
- newtype Dyn a = Dyn {}
- data Env = Env {}
- newEnv :: IO Env
- data InternalEvent
- = UpdateWidgets [Box]
- | BrickAct Act
Brick helper types
Box identifier
Window of the application
Brick application monad
Instances
Monad Run Source # | |
Functor Run Source # | |
Applicative Run Source # | |
MonadIO Run Source # | |
Defined in Dyna.Brick.Types | |
MonadRandom Run Source # | |
Defined in Dyna.Brick.Types | |
Frp Run Source # | |
MonadReader Env Run Source # | |
MonadBase IO Run Source # | |
Defined in Dyna.Brick.Types | |
MonadBaseControl IO Run Source # | |
type Ref Run Source # | |
Defined in Dyna.Brick.Types | |
type StM Run a Source # | |
Defined in Dyna.Brick.Types |
FRP types
Event stream
Instances
Monad Evt Source # | |
Functor Evt Source # | |
Applicative Evt Source # | |
RunFunctor Evt Source # | |
Semigroup (Evt a) Source # | |
Monoid (Evt a) Source # | |
Loop (Evt a) Source # | |
Defined in Dyna.Brick.Types | |
Limit (Evt a) Source # | |
Compose (Evt a) Source # | |
Defined in Dyna.Brick.Types | |
Harmony (Evt a) Source # | |
Melody (Evt a) Source # | |
type DurOf (Evt a) Source # | |
Defined in Dyna.Brick.Types |
Dynamic value that continuously changes over time
Instances
Functor Dyn Source # | |
Applicative Dyn Source # | |
RunFunctor Dyn Source # | |
Fractional a => Fractional (Dyn a) Source # | |
Num a => Num (Dyn a) Source # | |
IsString a => IsString (Dyn a) Source # | |
Defined in Dyna.Brick.Types fromString :: String -> Dyn a # | |
Semigroup a => Semigroup (Dyn a) Source # | |
Monoid a => Monoid (Dyn a) Source # | |
Boolean a => Boolean (Dyn a) Source # | |
IfB a => IfB (Dyn a) Source # | |
EqB a => EqB (Dyn a) Source # | |
OrdB a => OrdB (Dyn a) Source # | |
AdditiveGroup a => AdditiveGroup (Dyn a) Source # | |
VectorSpace a => VectorSpace (Dyn a) Source # | |
AffineSpace a => AffineSpace (Dyn a) Source # | |
HasCross3 a => HasCross3 (Dyn a) Source # | |
HasCross2 a => HasCross2 (Dyn a) Source # | |
Defined in Dyna.Brick.Types | |
HasNormal a => HasNormal (Dyn a) Source # | |
Defined in Dyna.Brick.Types | |
(BasisArity a, HasBasis a) => HasBasis (Dyn a) Source # | |
type BooleanOf (Dyn a) Source # | |
Defined in Dyna.Brick.Types | |
type Scalar (Dyn a) Source # | |
type Diff (Dyn a) Source # | |
type Basis (Dyn a) Source # | |
Internal types
Environment for execution of Brick and routing events to sensor streams
data InternalEvent Source #
Internal events to interact with brock application
UpdateWidgets [Box] | update the view |
BrickAct Act | send command to brick |