~~ -package:type-spec
Create a linear trail between two given points.
twiddleEx
= mconcat ((~~) <$> hexagon 1 <*> hexagon 1)
# centerXY # pad 1.1
Match a file name against a glob pattern.
Group subtraction: x ~~ y == x <> invert y
An infix alias for
Named.
Signal application. | Note that it is a double tilde, differing from |
purescript-signal, as a single tilde is used | in Haskell for lazy
evaluation.
Shorthand for a test case that asserts approximate equality (with the
expected value on the left-hand side, and the actual value on the
right-hand side).
Kind heterogeneous propositional equality. Like
:~:,
a :~~:
b is inhabited by a terminating value if and only if
a
is the same type as
b.
This is the monadic matching operator. If a single match fails, then
fail will be called.
Kind heterogeneous propositional equality. Like
:~:,
a :~~:
b is inhabited by a terminating value if and only if
a
is the same type as
b.
the regex-base monadic, polymorphic match operator
the `regex-base` monadic, polymorphic match operator
the `regex-base` monadic, polymorphic match operator
the `regex-base` monadic, polymorphic match operator
the `regex-base` monadic, polymorphic match operator
Applies
*~ to all values in a functor.
Applies
/~ to all values in a functor.
Applies
*~ to all values in a functor.
Applies
/~ to all values in a functor.
An infix version of
overVar, meant to evoke parallels to
%~ from lens.
With normal values, you can set modify in a value with a lens:
x & myLens %~ negate
would "modify" a part of
x :: b, specified by
myLens ::
Lens' a b, using the function
negate :: a ->
a.
xVar & myLens %~~ negate
would "modify" a part of
xVar :: BVar s b (a
BVar holding a
b), specified by
myLens ::
Lens' a b, using the function
negate :: BVar s a ->
BVar s . The result is a new (updated) value of type
BVar s b.
Is essentially a convenient wrapper over a
viewVar followed by
a
setVar.