Reanimate.Scene

Documentation

type ZIndex = Int

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

type Timeline = [(Time, Animation, ZIndex)]

newtype Scene s a

Constructors

M

Fields

• unM :: Time -> ST s (a, Duration, Duration, Timeline)

Instances

Monad (Scene s)

Defined in Reanimate.Scene

Methods

(>>=) :: Scene s a -> (a -> Scene s b) -> Scene s b

(>>) :: Scene s a -> Scene s b -> Scene s b

return :: a -> Scene s a

fail :: String -> Scene s a

Functor (Scene s)

Defined in Reanimate.Scene

Methods

fmap :: (a -> b) -> Scene s a -> Scene s b

(<$) :: a -> Scene s b -> Scene s a

MonadFix (Scene s)

Defined in Reanimate.Scene

Methods

mfix :: (a -> Scene s a) -> Scene s a

Applicative (Scene s)

Defined in Reanimate.Scene

Methods

pure :: a -> Scene s a

(<*>) :: Scene s (a -> b) -> Scene s a -> Scene s b

liftA2 :: (a -> b -> c) -> Scene s a -> Scene s b -> Scene s c

(*>) :: Scene s a -> Scene s b -> Scene s b

(<*) :: Scene s a -> Scene s b -> Scene s a

unionTimeline :: Timeline -> Timeline -> Timeline

emptyTimeline :: Timeline

liftST :: ST s a -> Scene s a

sceneAnimation :: (forall s. Scene s a) -> Animation

fork :: Scene s a -> Scene s a

play :: Animation -> Scene s ()

playZ :: ZIndex -> Animation -> Scene s ()

queryNow :: Scene s Time

waitAll :: Scene s a -> Scene s a

waitUntil :: Time -> Scene s ()

wait :: Duration -> Scene s ()

adjustZ :: (ZIndex -> ZIndex) -> Scene s a -> Scene s a

withSceneDuration :: Scene s () -> Scene s Duration

data Object s

Constructors

Object (STRef s (Maybe Timeline))

newObject :: Scene s (Object s)

stretchTimeline :: Timeline -> Scene s ()

dropObject :: Object s -> Scene s ()

listen :: Scene s a -> Scene s (a, Timeline)

withObject :: Object s -> Scene s a -> Scene s a