Mizur

v1.0.1

Mizur v1.0.1 Mizur.Infix

This module offers infix versions of the common functions of the Mizur module.

When used, it accepts the following options:

  • :only : same of :only in importation
  • :except : same of :except in importation

Summary

Functions

a != b

Infix version of not Mizur.equals/2

a !== b

Infix version of not Mizur.strict_equals/2

a * b

Infix version of Mizur.mult/2

a + b

Infix version of Mizur.add/2

a - b

Infix version of Mizur.sub/2

a..b

Infix version of Mizur.Range.new/2

a / b

Infix version of Mizur.div/2

a < b

Infix version of Mizur.compare/2 == :lt

a <= b

Infix version of Mizur.compare/2 == :lt || :eq

to <~ base

Infix (and reverted) version of from/2

a == b

Infix version of Mizur.equals/2

a === b

Infix version of Mizur.strict_equals/2

a > b

Infix version of Mizur.compare/2 == :gt

a >= b

Infix version of Mizur.compare/2 == :gt || :eq

a in t

Helper to build typed_value

base ~> to

Infix version of from/2

Functions

a != b 
Mizur.typed_value != Mizur.typed_value :: boolean

Infix version of not Mizur.equals/2 :

iex> use Mizur.Infix, only: [!=: 2]
...> MizurTest.Distance.cm(100) != MizurTest.Distance.m(2)
true
a !== b 
Mizur.typed_value !== Mizur.typed_value :: boolean

Infix version of not Mizur.strict_equals/2 :

iex> use Mizur.Infix, only: [!==: 2]
...> MizurTest.Distance.cm(100) !== MizurTest.Distance.m(100)
true
a * b 
Mizur.typed_value * number :: Mizur.typed_value

Infix version of Mizur.mult/2:

iex> use Mizur.Infix, only: [*: 2]
...> a = MizurTest.Distance.cm(12)
...> a * 10
MizurTest.Distance.cm(120)
a + b 
Mizur.typed_value + Mizur.typed_value :: Mizur.typed_value

Infix version of Mizur.add/2 :

iex> use Mizur.Infix, only: [+: 2]
...> a = MizurTest.Distance.cm(12)
...> b = MizurTest.Distance.m(2)
...> a + b
MizurTest.Distance.cm(212)
a - b 
Mizur.typed_value - Mizur.typed_value :: Mizur.typed_value

Infix version of Mizur.sub/2:

iex> use Mizur.Infix, only: [-: 2]
...> a = MizurTest.Distance.cm(12)
...> b = MizurTest.Distance.m(2)
...> b - a
MizurTest.Distance.m(1.88)
a..b 
Mizur.typed_value..Mizur.typed_value :: Mizur.Range.range

Infix version of Mizur.Range.new/2. 

iex> use Mizur.Infix, only: [..: 2]
...> MizurTest.Distance.cm(1) .. MizurTest.Distance.m(1)
Mizur.Range.new(MizurTest.Distance.cm(1), MizurTest.Distance.cm(100))
a / b 
Mizur.typed_value / number :: Mizur.typed_value

Infix version of Mizur.div/2:

iex> use Mizur.Infix, only: [/: 2]
...> a = MizurTest.Distance.cm(12)
...> a / 2
MizurTest.Distance.cm(6)
a < b 
Mizur.typed_value < Mizur.typed_value :: boolean

Infix version of Mizur.compare/2 == :lt :

iex> use Mizur.Infix, only: [<: 2]
...> MizurTest.Distance.cm(100) < MizurTest.Distance.m(11)
true
a <= b 
Mizur.typed_value <= Mizur.typed_value :: boolean

Infix version of Mizur.compare/2 == :lt || :eq :

iex> use Mizur.Infix, only: [<=: 2]
...> MizurTest.Distance.cm(100) <= MizurTest.Distance.m(1)
true
to <~ base 
Mizur.metric_type <~ Mizur.typed_value :: Mizur.typed_value

Infix (and reverted) version of from/2.

For example:

iex> import Mizur.Infix, only: [<~: 2]
...> MizurTest.Distance.m <~ MizurTest.Distance.cm(100) 
{MizurTest.Distance.m, 1.0}
a == b 
Mizur.typed_value == Mizur.typed_value :: boolean

Infix version of Mizur.equals/2 :

iex> use Mizur.Infix, only: [==: 2]
...> MizurTest.Distance.cm(100) == MizurTest.Distance.m(1)
true
a === b 
Mizur.typed_value === Mizur.typed_value :: boolean

Infix version of Mizur.strict_equals/2 :

iex> use Mizur.Infix, only: [===: 2]
...> MizurTest.Distance.cm(100) == MizurTest.Distance.cm(100)
true
a > b 
Mizur.typed_value > Mizur.typed_value :: boolean

Infix version of Mizur.compare/2 == :gt :

iex> use Mizur.Infix, only: [>: 2]
...> MizurTest.Distance.cm(100) > MizurTest.Distance.m(0.9)
true
a >= b 
Mizur.typed_value >= Mizur.typed_value :: boolean

Infix version of Mizur.compare/2 == :gt || :eq :

iex> use Mizur.Infix, only: [>=: 2]
...> MizurTest.Distance.cm(100) >= MizurTest.Distance.m(1)
true
a in t 
Mizur.typed_value | number in Mizur.metric_type :: Mizur.typed_value

Helper to build typed_value

iex> use Mizur.Infix, only: [in: 2]
...> a = MizurTest.Distance.cm(120)
...> {a in MizurTest.Distance.m, 12 in MizurTest.Distance.km}
{MizurTest.Distance.m(1.2), MizurTest.Distance.km(12)}
base ~> to 
Mizur.typed_value ~> Mizur.metric_type :: Mizur.typed_value

Infix version of from/2.

For example:

iex> import Mizur.Infix, only: [~>: 2]
...> MizurTest.Distance.cm(100) ~> MizurTest.Distance.m
{MizurTest.Distance.m, 1.0}