Module

WAGS.Control.Thunkable

data Thunkable a

Thunkable is the Trampoline moand with some extra typeclasses like Alt and Plus and some extra utility methods for thunking.

isWait :: forall a. Thunkable a -> Boolean

Returns true if the Thunkable is a Wait, else false.

isHere :: forall a. Thunkable a -> Boolean

Returns true if the Thunkable is a Here, else false.

runThunkable :: forall a. Thunkable a -> a

Runs a thunkable to produce an a. Same as runTrampoline.

runThunkableWithCount :: forall a. Thunkable a -> Tuple Int a

Runs a thunkable to produce an a, counting how many "thunks" were needed.

thunkThunkable :: forall a. Thunkable a -> Thunkable a

Thunks a thunkable once, producing a new thunkable. Same as runFree.

monadifyThunkable :: forall m. Monad m => Thunkable ~> m

A natural transformation from Thunkable to any monad m. Same as foldFree.

intercalateThunkable :: forall m. Monad m => m Unit -> Thunkable ~> m

A natural transformation from Thunkable to any monad m that inserts m Unit in between thunks.

affifyThunkable :: Thunkable ~> Aff

A natural transformation from Thunkable to Aff that guarantees the Wait operation will resume on the next tick of a browser or node event loop.

class Waitable f  where

Waitable is a something that can be told to wait.