Sindre.Runtime

Definitions for the Sindre runtime environment.

Documentation

data Sindre m a

The main monad in which a Sindre program executes. More specialised monads, such as Execution are used for specific purposes, but they all run on top of the Sindre monad.

Instances

MonadTrans Sindre

MonadBackend im => MonadSindre im Sindre

Monad (Sindre m)

Functor (Sindre m)

Applicative (Sindre m)

MonadIO m => MonadIO (Sindre m)

MonadCont (Sindre m)

MonadReader (QuitFun m) (Sindre m)

MonadState (SindreEnv m) (Sindre m)

Monoid (Sindre m ())

execSindre :: MonadBackend m => SindreEnv m -> Sindre m a -> m ExitCode

execSindre e m executes the action m in environment e, returning the exit code of m.

quitSindre :: MonadBackend m => ExitCode -> Sindre m ()

Immediately return from execSindre, returning the given exit code.

class (MonadBackend im, Monad (m im)) => MonadSindre im m where

MonadSindre im m is the class of monads m that run on top of Sindre with backend im, and can thus access Sindre functionality.

Methods

sindre :: Sindre im a -> m im a

Lift a Sindre operation into this monad.

back :: im a -> m im a

Lift a backend operation into this monad.

Instances

MonadBackend im => MonadSindre im Execution

MonadBackend im => MonadSindre im Sindre

MonadBackend im => MonadSindre im ConstructorM

MonadBackend im => MonadSindre im (ObjectM o)

broadcast :: MonadBackend im => Event -> ObjectM o im ()

changed :: MonadBackend im => Identifier -> Value -> Value -> ObjectM o im ()

redraw :: (MonadBackend im, Widget im s) => ObjectM s im ()

fullRedraw :: MonadSindre im m => m im ()

setRootPosition :: MonadBackend m => Value -> Sindre m ()

class (Monad m, Functor m, Applicative m, Mold (RootPosition m)) => MonadBackend m where

A monad that can be used as the layer beneath Sindre.

Associated Types

type BackEvent m :: *

type RootPosition m :: *

Methods

redrawRoot :: Sindre m ()

redrawRegion :: [Rectangle] -> Sindre m ()

getBackEvent :: Sindre m (Maybe Event)

waitForBackEvent :: Sindre m Event

printVal :: String -> m ()

Instances

MonadBackend SindreX11M

class MonadBackend m => Object m s where

Methods

callMethodI :: Identifier -> [Value] -> ObjectM s m Value

fieldSetI :: Identifier -> Value -> ObjectM s m Value

fieldGetI :: Identifier -> ObjectM s m Value

recvEventI :: Event -> ObjectM s m ()

Instances

MonadBackend m => Object m Oriented

(MonadIO m, MonadBackend m) => Object m InStream

Object SindreX11M List

Object SindreX11M TextField

Object SindreX11M Blank

Object SindreX11M Label

Object SindreX11M Dial

data ObjectM o m a

Instances

MonadBackend im => MonadSindre im (ObjectM o)

MonadReader ObjectRef (ObjectM o m)

MonadState o (ObjectM o m)

Monad (ObjectM o m)

Functor (ObjectM o m)

Applicative (ObjectM o m)

(MonadIO m, MonadBackend m) => MonadIO (ObjectM o m)

fieldSet :: MonadSindre im m => ObjectRef -> Identifier -> Value -> m im Value

fieldGet :: MonadSindre im m => ObjectRef -> Identifier -> m im Value

callMethod :: MonadSindre im m => ObjectRef -> Identifier -> [Value] -> m im Value

class Object m s => Widget m s where

Methods

composeI :: ObjectM s m SpaceNeed

drawI :: Rectangle -> ObjectM s m SpaceUse

Instances

MonadBackend m => Widget m Oriented

Widget SindreX11M List

Widget SindreX11M TextField

Widget SindreX11M Blank

Widget SindreX11M Label

Widget SindreX11M Dial

draw :: MonadSindre im m => WidgetRef -> Maybe Rectangle -> m im SpaceUse

compose :: MonadSindre im m => WidgetRef -> m im SpaceNeed

recvEvent :: MonadSindre im m => WidgetRef -> Event -> m im ()

data DataSlot m

Constructors

forall s . Widget m s => WidgetSlot s WidgetState

forall s . Object m s => ObjectSlot s

data WidgetState

Constructors

WidgetState

Fields

constraints :: Constraints

dimensions :: Rectangle

data SindreEnv m

Constructors

SindreEnv

Fields

objects :: Array ObjectNum (DataSlot m)

evtQueue :: Seq Event

globals :: IntMap Value

execFrame :: Frame

kbdFocus :: WidgetRef

rootWidget :: (Maybe (RootPosition m), WidgetRef)

arguments :: Arguments

needsRedraw :: Redraw

Instances

MonadState (SindreEnv m) (Sindre m)

newEnv :: WidgetRef -> Arguments -> SindreEnv m

globalVal :: MonadBackend m => Key -> Sindre m Value

setGlobal :: MonadBackend m => Key -> Value -> Sindre m ()

data Execution m a

Instances

MonadBackend im => MonadSindre im Execution

Monad (Execution m)

Functor (Execution m)

Applicative (Execution m)

MonadCont (Execution m)

MonadReader (ExecutionEnv m) (Execution m)

execute :: MonadBackend m => Execution m Value -> Sindre m Value

execute_ :: MonadBackend m => Execution m a -> Sindre m ()

returnHere :: MonadBackend m => Execution m Value -> Execution m Value

doReturn :: MonadBackend m => Value -> Execution m ()

nextHere :: MonadBackend m => Execution m () -> Execution m ()

doNext :: MonadBackend m => Execution m ()

breakHere :: MonadBackend m => Execution m () -> Execution m ()

doBreak :: MonadBackend m => Execution m ()

contHere :: MonadBackend m => Execution m () -> Execution m ()

doCont :: MonadBackend m => Execution m ()

setScope :: MonadBackend m => [Value] -> Execution m a -> Execution m a

enterScope :: MonadBackend m => [Value] -> Execution m a -> Execution m a

lexicalVal :: MonadBackend m => Key -> Execution m Value

setLexical :: MonadBackend m => Key -> Value -> Execution m ()

eventLoop :: MonadBackend m => EventHandler m -> Sindre m ()

type EventHandler m = Event -> Execution m ()

class Mold a where

Methods

mold :: Value -> Maybe a

unmold :: a -> Value

Instances

Mold Bool

Mold Double

Mold Int

Mold Integer

Mold String

Mold ()

Mold Text

Mold Value

Mold FormatString

Mold (Align, Align)