Module

Impulse.DOM

Package: purescript-impulse
Repository: mitchdzugan/purescript-impulse

#EventCollector Source

data EventCollector :: Type -> Type

#DOMClass Source

data DOMClass :: Type -> Type

#ElRes Source

data ElRes :: Type -> Type

#effImpl Source

effImpl :: forall b a. DOMClass a -> Effect b -> b

#grabEventCollectorImpl Source

grabEventCollectorImpl :: forall b a. DOMClass a -> EventCollector b

#getRawEnvImpl Source

getRawEnvImpl :: forall a. DOMClass a -> a

#keyedImpl Source

keyedImpl :: forall c b a. (DOMClass a -> c -> b) -> DOMClass a -> String -> c -> b

#collectImpl Source

collectImpl :: forall b a. DOMClass a -> (a -> EventCollector b) -> Event b -> Unit

#bindSignalImpl Source

bindSignalImpl :: forall d c b a. (DOMClass a -> d -> c) -> DOMClass a -> Boolean -> Signal b -> (b -> d) -> Signal c

#flattenSignalImpl Source

flattenSignalImpl :: forall b a. DOMClass a -> Signal (Signal b) -> Signal b

#dedupSignalImpl Source

dedupSignalImpl :: forall b a. DOMClass a -> (b -> b -> Boolean) -> Signal b -> Signal b

#reduceEventImpl Source

reduceEventImpl :: forall c b a. DOMClass a -> Event b -> (c -> b -> c) -> c -> Signal c

#trapImpl Source

trapImpl :: forall e d c b a. (DOMClass b -> e -> d) -> DOMClass a -> (a -> b) -> (b -> EventCollector c) -> (Event c -> e) -> d

#createElementImpl Source

createElementImpl :: forall d c b a. (DOMClass a -> c -> b) -> (d -> Maybe d -> d) -> DOMClass a -> String -> DOMAttrs -> c -> ElRes b

#textImpl Source

textImpl :: forall a. DOMClass a -> String -> Unit

#withRawEnvImpl Source

withRawEnvImpl :: forall d c b a. (DOMClass b -> d -> c) -> DOMClass a -> b -> d -> c

#preemptEventImpl Source

preemptEventImpl :: forall d c b a. (DOMClass a -> c -> b) -> DOMClass a -> (b -> Event d) -> (Event d -> c) -> b

#attachImpl Source

attachImpl :: forall c b a. (DOMClass a -> b -> c) -> String -> b -> a -> Effect c

#toMarkupImpl Source

toMarkupImpl :: forall c b a. (DOMClass a -> b -> c) -> b -> a -> Effect String

#DOM Source

type DOM env collecting = Reader (DOMClass (Tuple env collecting))

#runDOM Source

runDOM :: forall a c e. DOMClass (Tuple e c) -> DOM e c a -> a

#attach Source

attach :: forall a env. String -> env -> DOM env (Record ()) a -> Effect a

#toMarkup Source

toMarkup :: forall a env. env -> DOM env (Record ()) a -> Effect String

#eff Source

eff :: forall a c e. Effect a -> DOM e c a

#keyed Source

keyed :: forall a c e. String -> DOM e c a -> DOM e c a

#grabEventCollector Source

grabEventCollector :: forall a c e. DOM e c (EventCollector a)

#env Source

env :: forall c e. DOM e c e

#emitRecordless Source

emitRecordless :: forall a c e. (c -> EventCollector a) -> Event a -> DOM e c Unit

#s_bindDOM Source

s_bindDOM :: forall b a c e. Signal a -> (a -> DOM e c b) -> DOM e c (Signal b)

#s_flatten Source

s_flatten :: forall a c e. Signal (Signal a) -> DOM e c (Signal a)

#s_dedup Source

s_dedup :: forall a c e. Eq a => Signal a -> DOM e c (Signal a)

#e_reduce Source

e_reduce :: forall b a c e. Event a -> (b -> a -> b) -> b -> DOM e c (Signal b)

#listenRecordless Source

listenRecordless :: forall b a c2 c1 e. (c1 -> c2) -> (c2 -> EventCollector a) -> (Event a -> DOM e c2 b) -> DOM e c1 b

#createElement Source

createElement :: forall a c e. String -> Attrs Unit -> DOM e c a -> DOM e c (ElRes a)

#text Source

text :: forall c e. String -> DOM e c Unit

#dnil Source

dnil :: forall c e. DOM e c Unit

#withEnv Source

withEnv :: forall a c e2 e1. e2 -> DOM e2 c a -> DOM e1 c a

#e_preempt Source

e_preempt :: forall b a c e. (b -> Event a) -> (Event a -> DOM e c b) -> DOM e c b

#e_preempt' Source

e_preempt' :: forall a c e. (Event a -> DOM e c (Event a)) -> DOM e c (Event a)

#s_preempt Source

s_preempt :: forall b a c e. a -> (b -> Event a) -> (Signal a -> DOM e c b) -> DOM e c b

#s_preempt' Source

s_preempt' :: forall a c e. a -> (Signal a -> DOM e c (Event a)) -> DOM e c (Signal a)

#attach' Source

attach' :: forall a env. String -> env -> DOM env (Record ()) a -> Effect Unit

#s_bindDOM' Source

s_bindDOM' :: forall b a c e. Signal a -> (a -> DOM e c b) -> DOM e c Unit

#s_bindKeyedDOM Source

s_bindKeyedDOM :: forall b a c e. Show a => Signal a -> (a -> DOM e c b) -> DOM e c (Signal b)

#s_bindKeyedDOM' Source

s_bindKeyedDOM' :: forall b a c e. Show a => Signal a -> (a -> DOM e c b) -> DOM e c Unit

#s_bind Source

s_bind :: forall b a c e. Signal a -> (a -> b) -> DOM e c (Signal b)

#s_bindAndFlatten Source

s_bindAndFlatten :: forall b a c e. Signal a -> (a -> DOM e c (Signal b)) -> DOM e c (Signal b)

#withEnv' Source

withEnv' :: forall a c e2 e1. e2 -> DOM e2 c a -> DOM e1 c Unit

#withAlteredEnv Source

withAlteredEnv :: forall a c e2 e1. (e1 -> e2) -> DOM e2 c a -> DOM e1 c a

#withAlteredEnv' Source

withAlteredEnv' :: forall a c e2 e1. (e1 -> e2) -> DOM e2 c a -> DOM e1 c Unit

#listen Source

listen :: forall cOSymless cO cSym cI e sym a res. IsSymbol sym => Lacks sym () => Cons sym (EventCollector a) () cSym => Cons sym (EventCollector a) cOSymless cO => Union cSym cI cO => SProxy sym -> (Event a -> DOM e (Record cO) res) -> DOM e (Record cI) res

#listen' Source

listen' :: forall cOSymless cO cSym cI sym a res e. IsSymbol sym => Lacks sym () => Cons sym (EventCollector a) () cSym => Cons sym (EventCollector a) cOSymless cO => Union cSym cI cO => SProxy sym -> (Event a -> DOM e (Record cO) res) -> DOM e (Record cI) Unit

#emit Source

emit :: forall l r2 r1 a e. IsSymbol l => Cons l (EventCollector a) r1 r2 => SProxy l -> Event a -> DOM e (Record r2) Unit

#upsertEnv Source

upsertEnv :: forall c eOSymless eO eSym eI sym a res. IsSymbol sym => Lacks sym () => Cons sym a () eSym => Cons sym a eOSymless eO => Union eSym eI eO => SProxy sym -> a -> DOM (Record eO) c res -> DOM (Record eI) c res

#upsertEnv' Source

upsertEnv' :: forall c eOSymless eO eSym eI sym a res. IsSymbol sym => Lacks sym () => Cons sym a () eSym => Cons sym a eOSymless eO => Union eSym eI eO => SProxy sym -> a -> DOM (Record eO) c res -> DOM (Record eI) c Unit

#listenAndReduce Source

listenAndReduce :: forall cOSymless cO cSym cI eOSymless eO eSym eI sym b a res. IsSymbol sym => Lacks sym () => Cons sym (EventCollector a) () cSym => Cons sym (EventCollector a) cOSymless cO => Union cSym cI cO => Cons sym (Signal b) () eSym => Cons sym (Signal b) eOSymless eO => Union eSym eI eO => SProxy sym -> (b -> a -> b) -> b -> DOM (Record eO) (Record cO) res -> DOM (Record eI) (Record cI) res

#listenAndReduce' Source

listenAndReduce' :: forall cOSymless cO cSym cI eOSymless eO eSym eI sym b a res. IsSymbol sym => Lacks sym () => Cons sym (EventCollector a) () cSym => Cons sym (EventCollector a) cOSymless cO => Union cSym cI cO => Cons sym (Signal b) () eSym => Cons sym (Signal b) eOSymless eO => Union eSym eI eO => SProxy sym -> (b -> a -> b) -> b -> DOM (Record eO) (Record cO) res -> DOM (Record eI) (Record cI) Unit

#getEnv Source

getEnv :: forall l r2 r1 a c. IsSymbol l => Cons l a r1 r2 => SProxy l -> DOM (Record r2) c a

#innerRes Source

innerRes :: forall a. ElRes a -> a

#onClick Source

onClick :: forall a. ElRes a -> Event MouseEvent

#onChange Source

onChange :: forall a. ElRes a -> Event Event

#onKeyUp Source

onKeyUp :: forall a. ElRes a -> Event KeyboardEvent

#WebEventable Source

class WebEventable e  where

Members

toWebEvent :: e -> Event

Instances

#withStopPropagation Source

withStopPropagation :: forall e. WebEventable e => Event e -> Event e

#withPreventDefault Source

withPreventDefault :: forall e. WebEventable e => Event e -> Event e

#targetImpl Source

targetImpl :: (Record HTMLinput -> Maybe (Record HTMLinput)) -> Maybe (Record HTMLinput) -> Event -> Effect (Maybe (Record HTMLinput))

#target Source

target :: Event -> Effect (Maybe (Record HTMLinput))

#domEventValue Source

domEventValue :: forall e. WebEventable e => Event e -> Event (Maybe String)

Modules: Impulse.DOM; Impulse.DOM.Attrs; Impulse.DOM.Tags; Impulse.FRP.Event; Impulse.FRP.Signal