Module

Impulse.DOM

Package
purescript-impulse
Repository
mitchdzugan/purescript-impulse

#EventCollector Source

#DOMClass Source

data DOMClass :: Type -> Type

#ElRes Source

data ElRes :: Type -> Type

#effImpl Source

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

#grabEventCollectorImpl Source

#getRawEnvImpl Source

getRawEnvImpl :: forall a. DOMClass a -> a

#keyedImpl Source

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

#collectImpl Source

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

#bindSignalImpl Source

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

#flattenSignalImpl Source

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

#dedupSignalImpl Source

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

#reduceEventImpl Source

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

#trapImpl Source

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

#createElementImpl Source

createElementImpl :: forall a b c d. (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 a b c d. (DOMClass b -> d -> c) -> DOMClass a -> b -> d -> c

#preemptEventImpl Source

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

#attachImpl Source

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

#toMarkupImpl Source

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

#DOM Source

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

#runDOM Source

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

#attach Source

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

#toMarkup Source

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

#eff Source

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

#keyed Source

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

#grabEventCollector Source

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

#env Source

env :: forall e c. DOM e c e

#emitRecordless Source

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

#s_bindDOM Source

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

#s_flatten Source

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

#s_dedup Source

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

#e_reduce Source

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

#listenRecordless Source

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

#createElement Source

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

#text Source

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

#dnil Source

dnil :: forall e c. DOM e c Unit

#withEnv Source

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

#e_preempt Source

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

#e_preempt' Source

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

#s_preempt Source

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

#s_preempt' Source

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

#attach' Source

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

#s_bindDOM' Source

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

#s_bindKeyedDOM Source

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

#s_bindKeyedDOM' Source

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

#s_bind Source

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

#s_bindAndFlatten Source

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

#withEnv' Source

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

#withAlteredEnv Source

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

#withAlteredEnv' Source

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

#listen Source

listen :: forall res a sym e cI cSym cO cOSymless. 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 e res a sym cI cSym cO cOSymless. 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 e a r1 r2 l. IsSymbol l => Cons l (EventCollector a) r1 r2 => SProxy l -> Event a -> DOM e (Record r2) Unit

#upsertEnv Source

upsertEnv :: forall res a sym eI eSym eO eOSymless c. 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 res a sym eI eSym eO eOSymless c. 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 res a b sym eI eSym eO eOSymless cI cSym cO cOSymless. 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 res a b sym eI eSym eO eOSymless cI cSym cO cOSymless. 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 c a r1 r2 l. 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

#withStopPropagation Source

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

#withPreventDefault Source

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

#domEventValue Source