# -package:threepenny-gui
An infix alias for
review.
unto f # x ≡ f x
l # x ≡ x ^. re l
This is commonly used when using a
Prism as a smart
constructor.
>>> _Left # 4
Left 4
But it can be used for any
Prism
>>> base 16 # 123
"7b"
(#) :: Iso' s a -> a -> s
(#) :: Prism' s a -> a -> s
(#) :: Review s a -> a -> s
(#) :: Equality' s a -> a -> s
Postfix function application, for conveniently applying attributes.
Unlike ($), (#) has a high precedence (8), so d
# foo # bar can be combined with other things using operators
like (|||) or (<>) without needing
parentheses.
Call a JavaScript function
>>> testJSaddle $ eval "'Hello World'.indexOf('World')"
6
>>> testJSaddle $ val "Hello World" # "indexOf" $ ["World"]
6
The invocation method for a natural transformation.
The filter selector composer, adds a filter to a selector. Maps to
something like sel#filter or sel.filter in CSS,
depending on the filter.
Join two bitvectors.
>>> prove $ \x y -> x .== bvExtract (Proxy @79) (Proxy @71) ((x :: SWord 9) # (y :: SWord 71))
Q.E.D.
Concatenation of two bit-vectors.
Create a stream that carries a field of a struct in another stream.
This function implements a projection of a field of a struct over
time. For example, if a struct of type T has two fields,
t1 of type Int and t2 of type
Word8, and s is a stream of type Stream T,
then s # t2 has type Stream Word8 and contains the
values of the t2 field of the structs in s at any
point in time.
The
#-operator is the Haskell analog to the
.-operator in JavaScript. Example:
grd # addColorStop(0, "#8ED6FF");
This can be seen as equivalent of
grd.addColorStop(0,
"#8ED6FF").
Apply style to plane, e.g.
cell 'w' # bold
Function application operator.
The operator is not right associated (like
($)). It is left
associated, and you can provide many arguments with this operator once
at a time.
>>> (+1) # 2
3
>>> (+) # 2 # 3
5
Add Python code to the last matplotlib command