Dyna.Brick.Types

Brick application types

Brick helper types

type Box = Widget BoxId

Synonym to fix the Widget parameter

newtype BoxId

Box identifier

Constructors

BoxId

Fields

• getBoxId :: Text

Instances

Eq BoxId

Defined in Dyna.Brick.Types

Methods

(==) :: BoxId -> BoxId -> Bool

(/=) :: BoxId -> BoxId -> Bool

Ord BoxId

Defined in Dyna.Brick.Types

Methods

compare :: BoxId -> BoxId -> Ordering

(<) :: BoxId -> BoxId -> Bool

(<=) :: BoxId -> BoxId -> Bool

(>) :: BoxId -> BoxId -> Bool

(>=) :: BoxId -> BoxId -> Bool

max :: BoxId -> BoxId -> BoxId

min :: BoxId -> BoxId -> BoxId

Read BoxId

Defined in Dyna.Brick.Types

Methods

readsPrec :: Int -> ReadS BoxId

readList :: ReadS [BoxId]

readPrec :: ReadPrec BoxId

readListPrec :: ReadPrec [BoxId]

Show BoxId

Defined in Dyna.Brick.Types

Methods

showsPrec :: Int -> BoxId -> ShowS

show :: BoxId -> String

showList :: [BoxId] -> ShowS

data Win

Window of the application

Constructors

Win

Fields

• win'widgets :: Dyn [Box]

  window view

• win'acts :: Evt Act

  brick app actions

data Act

Actions for Brick rendering engine

Constructors

Quit

Quit the app

data MouseUpEvent

Mouse up events only

Constructors

MouseUpEvent BoxId (Maybe Button) Location

data MouseDownEvent

Mouse down events only

Constructors

MouseDownEvent BoxId Button [Modifier] Location

Brick application monad

newtype Run a

Constructors

Run

Fields

• unRun :: ReaderT Env IO a

Instances

Monad Run

Defined in Dyna.Brick.Types

Methods

(>>=) :: Run a -> (a -> Run b) -> Run b

(>>) :: Run a -> Run b -> Run b

return :: a -> Run a

Functor Run

Defined in Dyna.Brick.Types

Methods

fmap :: (a -> b) -> Run a -> Run b

(<$) :: a -> Run b -> Run a

Applicative Run

Defined in Dyna.Brick.Types

Methods

pure :: a -> Run a

(<*>) :: Run (a -> b) -> Run a -> Run b

liftA2 :: (a -> b -> c) -> Run a -> Run b -> Run c

(*>) :: Run a -> Run b -> Run b

(<*) :: Run a -> Run b -> Run a

MonadIO Run

Defined in Dyna.Brick.Types

Methods

liftIO :: IO a -> Run a

MonadRandom Run

Defined in Dyna.Brick.Types

Methods

getRandomR :: Random a => (a, a) -> Run a

getRandom :: Random a => Run a

getRandomRs :: Random a => (a, a) -> Run [a]

getRandoms :: Random a => Run [a]

Frp Run

Defined in Dyna.Brick.Types

Associated Types

type Ref Run :: Type -> Type

MonadReader Env Run

Defined in Dyna.Brick.Types

Methods

ask :: Run Env

local :: (Env -> Env) -> Run a -> Run a

reader :: (Env -> a) -> Run a

MonadBase IO Run

Defined in Dyna.Brick.Types

Methods

liftBase :: IO α -> Run α

MonadBaseControl IO Run

Defined in Dyna.Brick.Types

Associated Types

type StM Run a

Methods

liftBaseWith :: (RunInBase Run IO -> IO a) -> Run a

restoreM :: StM Run a -> Run a

type Ref Run

Defined in Dyna.Brick.Types

type Ref Run = IORef

type StM Run a

Defined in Dyna.Brick.Types

type StM Run a

evalRun :: Run a -> Env -> IO a

FRP types

newtype Evt a

Event stream

Constructors

Evt

Fields

• unEvt :: Evt Run a

Instances

Monad Evt

Defined in Dyna.Brick.Types

Methods

(>>=) :: Evt a -> (a -> Evt b) -> Evt b

(>>) :: Evt a -> Evt b -> Evt b

return :: a -> Evt a

Functor Evt

Defined in Dyna.Brick.Types

Methods

fmap :: (a -> b) -> Evt a -> Evt b

(<$) :: a -> Evt b -> Evt a

Applicative Evt

Defined in Dyna.Brick.Types

Methods

pure :: a -> Evt a

(<*>) :: Evt (a -> b) -> Evt a -> Evt b

liftA2 :: (a -> b -> c) -> Evt a -> Evt b -> Evt c

(*>) :: Evt a -> Evt b -> Evt b

(<*) :: Evt a -> Evt b -> Evt a

RunFunctor Evt

Defined in Dyna.Brick.Frp

Methods

fmap' :: (a -> Run b) -> Evt a -> Evt b

Semigroup (Evt a)

Defined in Dyna.Brick.Types

Methods

(<>) :: Evt a -> Evt a -> Evt a

sconcat :: NonEmpty (Evt a) -> Evt a

stimes :: Integral b => b -> Evt a -> Evt a

Monoid (Evt a)

Defined in Dyna.Brick.Types

Methods

mempty :: Evt a

mappend :: Evt a -> Evt a -> Evt a

mconcat :: [Evt a] -> Evt a

Loop (Evt a)

Defined in Dyna.Brick.Types

Methods

loop :: Evt a -> Evt a

Limit (Evt a)

Defined in Dyna.Brick.Types

Methods

lim :: DurOf (Evt a) -> Evt a -> Evt a

Compose (Evt a)

Defined in Dyna.Brick.Types

Harmony (Evt a)

Defined in Dyna.Brick.Types

Methods

har :: [Evt a] -> Evt a

(=:=) :: Evt a -> Evt a -> Evt a

Melody (Evt a)

Defined in Dyna.Brick.Types

Methods

mel :: [Evt a] -> Evt a

(+:+) :: Evt a -> Evt a -> Evt a

type DurOf (Evt a)

Defined in Dyna.Brick.Types

type DurOf (Evt a) = Float

newtype Dyn a

Dynamic value that continuously changes over time

Constructors

Dyn

Fields

• unDyn :: Dyn Run a

Instances

Functor Dyn

Defined in Dyna.Brick.Types

Methods

fmap :: (a -> b) -> Dyn a -> Dyn b

(<$) :: a -> Dyn b -> Dyn a

Applicative Dyn

Defined in Dyna.Brick.Types

Methods

pure :: a -> Dyn a

(<*>) :: Dyn (a -> b) -> Dyn a -> Dyn b

liftA2 :: (a -> b -> c) -> Dyn a -> Dyn b -> Dyn c

(*>) :: Dyn a -> Dyn b -> Dyn b

(<*) :: Dyn a -> Dyn b -> Dyn a

RunFunctor Dyn

Defined in Dyna.Brick.Frp

Methods

fmap' :: (a -> Run b) -> Dyn a -> Dyn b

Fractional a => Fractional (Dyn a)

Defined in Dyna.Brick.Types

Methods

(/) :: Dyn a -> Dyn a -> Dyn a

recip :: Dyn a -> Dyn a

fromRational :: Rational -> Dyn a

Num a => Num (Dyn a)

Defined in Dyna.Brick.Types

Methods

(+) :: Dyn a -> Dyn a -> Dyn a

(-) :: Dyn a -> Dyn a -> Dyn a

(*) :: Dyn a -> Dyn a -> Dyn a

negate :: Dyn a -> Dyn a

abs :: Dyn a -> Dyn a

signum :: Dyn a -> Dyn a

fromInteger :: Integer -> Dyn a

IsString a => IsString (Dyn a)

Defined in Dyna.Brick.Types

Methods

fromString :: String -> Dyn a

Semigroup a => Semigroup (Dyn a)

Defined in Dyna.Brick.Types

Methods

(<>) :: Dyn a -> Dyn a -> Dyn a

sconcat :: NonEmpty (Dyn a) -> Dyn a

stimes :: Integral b => b -> Dyn a -> Dyn a

Monoid a => Monoid (Dyn a)

Defined in Dyna.Brick.Types

Methods

mempty :: Dyn a

mappend :: Dyn a -> Dyn a -> Dyn a

mconcat :: [Dyn a] -> Dyn a

Boolean a => Boolean (Dyn a)

Defined in Dyna.Brick.Types

Methods

true :: Dyn a

false :: Dyn a

notB :: Dyn a -> Dyn a

(&&*) :: Dyn a -> Dyn a -> Dyn a

(||*) :: Dyn a -> Dyn a -> Dyn a

IfB a => IfB (Dyn a)

Defined in Dyna.Brick.Types

Methods

ifB :: bool ~ BooleanOf (Dyn a) => bool -> Dyn a -> Dyn a -> Dyn a

EqB a => EqB (Dyn a)

Defined in Dyna.Brick.Types

Methods

(==*) :: bool ~ BooleanOf (Dyn a) => Dyn a -> Dyn a -> bool

(/=*) :: bool ~ BooleanOf (Dyn a) => Dyn a -> Dyn a -> bool

OrdB a => OrdB (Dyn a)

Defined in Dyna.Brick.Types

Methods

(<*) :: bool ~ BooleanOf (Dyn a) => Dyn a -> Dyn a -> bool

(<=*) :: bool ~ BooleanOf (Dyn a) => Dyn a -> Dyn a -> bool

(>*) :: bool ~ BooleanOf (Dyn a) => Dyn a -> Dyn a -> bool

(>=*) :: bool ~ BooleanOf (Dyn a) => Dyn a -> Dyn a -> bool

AdditiveGroup a => AdditiveGroup (Dyn a)

Defined in Dyna.Brick.Types

Methods

zeroV :: Dyn a

(^+^) :: Dyn a -> Dyn a -> Dyn a

negateV :: Dyn a -> Dyn a

(^-^) :: Dyn a -> Dyn a -> Dyn a

VectorSpace a => VectorSpace (Dyn a)

Defined in Dyna.Brick.Types

Associated Types

type Scalar (Dyn a)

Methods

(*^) :: Scalar (Dyn a) -> Dyn a -> Dyn a

AffineSpace a => AffineSpace (Dyn a)

Defined in Dyna.Brick.Types

Associated Types

type Diff (Dyn a)

Methods

(.-.) :: Dyn a -> Dyn a -> Diff (Dyn a)

(.+^) :: Dyn a -> Diff (Dyn a) -> Dyn a

HasCross3 a => HasCross3 (Dyn a)

Defined in Dyna.Brick.Types

Methods

cross3 :: Dyn a -> Dyn a -> Dyn a

HasCross2 a => HasCross2 (Dyn a)

Defined in Dyna.Brick.Types

Methods

cross2 :: Dyn a -> Dyn a

HasNormal a => HasNormal (Dyn a)

Defined in Dyna.Brick.Types

Methods

normalVec :: Dyn a -> Dyn a

(BasisArity a, HasBasis a) => HasBasis (Dyn a)

Defined in Dyna.Brick.Types

Associated Types

type Basis (Dyn a)

Methods

basisValue :: Basis (Dyn a) -> Dyn a

decompose :: Dyn a -> [(Basis (Dyn a), Scalar (Dyn a))]

decompose' :: Dyn a -> Basis (Dyn a) -> Scalar (Dyn a)

type BooleanOf (Dyn a)

Defined in Dyna.Brick.Types

type BooleanOf (Dyn a) = Dyn (BooleanOf a)

type Scalar (Dyn a)

Defined in Dyna.Brick.Types

type Scalar (Dyn a) = Scalar (Dyn Run a)

type Diff (Dyn a)

Defined in Dyna.Brick.Types

type Diff (Dyn a) = Diff (Dyn Run a)

type Basis (Dyn a)

Defined in Dyna.Brick.Types

type Basis (Dyn a) = Basis (Dyn Run a)

Internal types

data Env

Environment for execution of Brick and routing events to sensor streams

Constructors

Env

Fields

• env'eventChan :: UChan Event
• env'mouseDownChan :: UChan MouseDownEvent
• env'mouseUpChan :: UChan MouseUpEvent

Instances

MonadReader Env Run

Defined in Dyna.Brick.Types

Methods

ask :: Run Env

local :: (Env -> Env) -> Run a -> Run a

reader :: (Env -> a) -> Run a

newEnv :: IO Env

Init new environment

data InternalEvent

Internal events to interact with brock application

Constructors

UpdateWidgets [Box]

update the view

BrickAct Act

send command to brick