# -is:exact

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.

Infix version of review.

Used for constructing Prism values.

_Just # 5 == Just 5

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.

Join two bitvectors.

Infix synonym for numIn

Infix synonym for numIn

Infix synonym for numIn

Reverse function application. Allows convenient notation for setting properties. Example usage.

mkElement "div"
# set style     [("color","#CCAABB")]
# set draggable True
# set children  otherElements

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

Tagged effect.

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