Halogen.VDom.Thunk
newtype ThunkId Source #
Constructors
unsafeThunkId :: a -> ThunkId Source #
data Thunk (f :: k -> Type) (i :: k) Source #
Defined in Halogen.VDom.Thunk
Methods
fmap :: (a -> b) -> Thunk f a -> Thunk f b #
(<$) :: a -> Thunk f b -> Thunk f a #
unsafeEqThunk :: forall {k} (f :: k -> Type) (i :: k). Thunk f i -> Thunk f i -> Bool Source #
data ThunkState (m :: Type -> Type) (f :: k -> Type) (i :: k) a w Source #
Fields
hoist :: forall {k} f g (a :: k). (forall (x :: k). f x -> g x) -> Thunk f a -> Thunk g a Source #
mapThunk :: forall {k1} {k2} f g (i :: k1) (j :: k2). (f i -> g j) -> Thunk f i -> Thunk g j Source #
runThunk :: forall {k} f (i :: k). Thunk f i -> f i Source #
buildThunk :: forall {k} m f (i :: k) a w. MonadDOM m => (f i -> VDom a w) -> VDomSpec m a w -> Machine m (Thunk f i) Node Source #