scalaz-core
scalaz-core
scalaz
-\/
-\/
/~\
/~\
:+:
:+:
==>>
==>>
Adjunction
Adjunction
Adjunction
Instances
Align
Align
Law
Align
Alpha
Alpha
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Alpha
Instances
Alt
Alt
Law
Alt
Alter
Alter
Alter
Instances
Alter
Instances0
Ap
Ap
Ap
Instances
Ap
Instances0
Applicative
Applicative
Law
Applicative
Applicative
Error
Applicative
Error
Laws
Applicative
Error
Applicative
Plus
Applicative
Plus
Apply
Apply
Law
Apply
Arrow
Arrow
Associative
Associative
Law
Associative
Band
Band
Law
Band
Bi
Constrained
Natural
Transformation
Bi
Natural
Transformation
Bifoldable
Bifoldable
Law
Bifoldable
From
Bifold
Map
From
Bifoldr
Bifunctor
Bifunctor
Bijection
T
Bijection
T
Bijection
T
Instances
Bijection
T
Instances0
Bind
Bind
Law
Bind
Bind
Rec
Bind
Rec
Law
Bind
Rec
Bitraverse
Bitraversal
Bitraverse
Case
Insensitive
Case
Insensitive
Case
Insensitive
Instances
Catchable
Catchable
Category
Category
Law
Category
Choice
Choice
Cobind
Cobind
Laws
Cobind
Codensity
Codensity
Codensity
Instances
Cofree
Cofree
Cofree
Instances
Cofree
Instances0
Cofree
Instances1
Cofree
Instances2
Cofree
Instances3
Cofree
Instances4
Cofree
Instances
Version
Specific
Cofree
Instances
Version
Specific0
Cohoist
Cohoist
Cokleisli
Cokleisli
Cokleisli
Instances
Cokleisli
Instances0
Comonad
Comonad
Laws
Comonad
Comonad
Store
Comonad
Store
Comonad
Trans
Comonad
Trans
Compose
Compose
Law
Compose
Const
Const
Const
Instances
Const
Instances0
Const
Instances1
Constrained
Natural
Transformation
Cont
Cont
T
Contravariant
Contravariant
Law
Contravariant
Contravariant
Coyoneda
Contravariant
Coyoneda
By
Contravariant
Coyoneda
Instances
Conts
Conts
T
Coproduct
Coproduct
Coproduct
Left
Coproduct
Right
Coproduct
Instances
Coproduct
Instances0
Coproduct
Instances1
Coproduct
Instances2
Coproduct
Instances3
Cord
Cord
Cord
Interpolator
Cord
Interpolator
Cords
Cords
Corecursive
List
Corecursive
List
Corecursive
List
Instances
Corepresentable
Corepresentable
Law
Coyoneda
Coyoneda
By
Coyoneda
Instances
Coyoneda
Instances0
Coyoneda
Instances1
Coyoneda
Instances10
Coyoneda
Instances2
Coyoneda
Instances3
Coyoneda
Instances4
Coyoneda
Instances5
Coyoneda
Instances6
Coyoneda
Instances7
Coyoneda
Instances8
Coyoneda
Instances9
Cozip
Cozip
D
List
D
List
D
List
Instances
Day
Day
Day
Instances
Day
Instances1
Day
Instances2
Day
Instances3
Day
Instances4
Decidable
Decidable
Law
Decidable
Density
Density
Law
Density
Density
Instances
Density
Instances0
Dequeue
Dequeue
Dequeue
Instances
Di
Natural
Transformation
Diev
Diev
Diev
Implementation
Diev
Instances
Diev
Interval
Digit
Digit
_0
_1
_2
_3
_4
_5
_6
_7
_8
_9
Digit
Instances
Disjunction
Instances
Disjunction
Instances0
Disjunction
Instances1
Disjunction
Instances2
Distributive
Distribution
Distributive
Divide
Divide
Law
Divide
Divisible
Divisible
Law
Divisible
Dual
Dual
Instances
Dual
Instances0
Either3
Either3
Either
T
Switching_\/
Either
T
From
Disjunction
Aux
Either
T
Instances
Either
T
Instances0
Either
T
Instances1
Either
T
Instances2
Either
T
Instances3
Either
T
Instances4
Either
T
Instances5
Empty
Dequeue
Endo
Endo
Endo
By
Name
Endo
By
Name
Endo
By
Name
Instances
Endo
Instances
Endomorphic
Endomorphic
Endomorphic
Instances
Endomorphic
Instances0
Endomorphic
Instances1
Endomorphic
Instances2
Enum
Enum
Law
Enum
Ephemeral
Stream
Ephemeral
Stream
##::
Cons
Wrap
Ephemeral
Stream
Instances
Equal
Equal
Law
Equal
Failure
Finger
Tree
Finger
Tree
Finger
Four
Node
One
Three
Two
View
L
View
R
Finger
Tree
Instances
Fold
Case
Fold
Case
Fold
Case
Instances
Foldable
Foldable
Law
Foldable
From
Fold
Map
From
Foldr
Foldable1
Foldable1
Law
Foldable1
Forall
Forall
Foralls
Free
Free
Free
Ap
Free
Ap
Free
Functions
Free
Instances
Free
Instances0
Free
Instances1
Free
Instances2
Free
Instances3
Free
Instances4
Free
T
Free
T
Free
T
Instances
Free
T
Instances0
Free
T
Instances1
Free
T
Instances2
Free
T
Instances3
Free
T
Instances4
Free
T
Instances5
Free
T
Instances6
Functor
Functor
Law
Functor
Override
Widen
Generator
Generator
Generators
Heap
Heap
Empty
Ranked
Heap
Instances
Hoist
Hoist
I
Cons
I
List
I
List
I
List
Instance0
I
List
Instances
I
Nil
I
Nil
I
Set
I
Set
I
Set
Instances
I
Stream
I
Stream
By
Name
Lazy
Strict
Id
Id
Instances
Id
T
Id
T
Id
T
Instances
Id
T
Instances0
Id
T
Instances1
Id
T
Instances2
Id
T
Instances3
Id
T
Instances4
Id
T
Instances5
Id
T
Instances6
Immutable
Array
Immutable
Array
Immutable
Array1
Immutable
Array
Char
W
String
Array
Wrapped
Immutable
Array
Wrapped
Immutable
Array
of
Boolean
of
Byte
of
Char
of
Double
of
Float
of
Immutable
Array1
of
Int
of
Long
of
Ref
of
Short
of
String
Array
of
Unit
of
Boolean
of
Byte
of
Char
of
Double
of
Float
of
Int
of
Long
of
Ref
of
Short
of
Unit
Immutable
Array
Instances
Ind
Seq
Ind
Seq
Ind
Seq
Instances
Indexed
Cont
Indexed
Cont
T
Indexed
Conts
Indexed
Conts
T
Indexed
Conts
T
Indexed
Conts
T
Functions
Indexed
Conts
T
Instances
Indexed
Conts
T
Instances0
Indexed
Conts
T
Instances1
Indexed
Conts
T
Instances2
Indexed
Reader
Writer
State
Indexed
Reader
Writer
State
T
Indexed
Reader
Writer
State
T
Indexed
Reader
Writer
State
T
Instances
Indexed
Reader
Writer
State
T
Instances0
Indexed
Reader
Writer
State
T
Instances1
Indexed
State
Indexed
State
Functions
Indexed
State
T
Indexed
State
T
Indexed
State
T
Functions
Indexed
State
T
Instances
Indexed
State
T
Instances0
Indexed
State
T
Instances1
Indexed
State
T
Instances2
Indexed
State
T
Instances3
Indexed
Store
Indexed
Store
T
Indexed
Store
T
Indexed
Store
T
Functions
Indexed
Store
T
Instances
Indexed
Store
T
Instances0
Indexed
Store
T
Instances1
Indexed
Store
T
Instances2
Inject
Inject
Inject
Instances
Injective
Injective2
Injective3
Injective4
Injective5
Injectivity
Invariant
Alt
Invariant
Alt
Invariant
Applicative
Invariant
Applicative
Invariant
Functor
Invariant
Functor
Law
Invariant
Functor
Is
Contravariant
Is
Contravariant
Is
Covariant
Is
Covariant
Is
Empty
Is
Empty
Law
Is
Empty
Iso
Bifunctor
Template0
Iso
Functor
Template0
Isomorphism
Isomorphism
Align
Isomorphism
Alt
Isomorphism
Applicative
Isomorphism
Applicative
Error
Isomorphism
Applicative
Plus
Isomorphism
Apply
Isomorphism
Arrow
Isomorphism
Associative
Isomorphism
Band
Isomorphism
Bifoldable
Isomorphism
Bifunctor
Isomorphism
Bind
Isomorphism
Bind
Rec
Isomorphism
Bitraverse
Isomorphism
Catchable
Isomorphism
Category
Isomorphism
Choice
Isomorphism
Cobind
Isomorphism
Comonad
Isomorphism
Comonad
Store
Isomorphism
Compose
Isomorphism
Contravariant
Isomorphism
Cozip
Isomorphism
Decidable
Isomorphism
Distributive
Isomorphism
Divide
Isomorphism
Divisible
Isomorphism
Enum
Isomorphism
Equal
Isomorphism
Foldable
Isomorphism
Foldable1
Isomorphism
Functor
Isomorphism
Invariant
Alt
Isomorphism
Invariant
Applicative
Isomorphism
Invariant
Functor
Isomorphism
Is
Empty
Isomorphism
Monad
Isomorphism
Monad
Error
Isomorphism
Monad
Plus
Isomorphism
Monad
Reader
Isomorphism
Monad
State
Isomorphism
Monad
Tell
Isomorphism
Monoid
Isomorphism
Nondeterminism
Isomorphism
Optional
Isomorphism
Order
Isomorphism
Plus
Isomorphism
Plus
Empty
Isomorphism
Pro
Choice
Isomorphism
Profunctor
Isomorphism
Semi
Lattice
Isomorphism
Semigroup
Isomorphism
Show
Isomorphism
Split
Isomorphism
Strong
Isomorphism
Traverse
Isomorphism
Traverse1
Isomorphism
Unzip
Isomorphism
Zip
Isomorphisms
Iso
Iso2
Iso3
Iso
Bifunctor
Template
Iso
Functor
Iso
Functor
Template
Iso
Set
Kleisli
Kleisli
Kleisli
Instances
Kleisli
Instances0
Kleisli
Instances1
Kleisli
Instances10
Kleisli
Instances11
Kleisli
Instances12
Kleisli
Instances13
Kleisli
Instances14
Kleisli
Instances15
Kleisli
Instances2
Kleisli
Instances3
Kleisli
Instances4
Kleisli
Instances5
Kleisli
Instances6
Kleisli
Instances7
Kleisli
Instances8
Kleisli
Instances9
Konst
Lan
Lan
Lan
Instances
Lan
Instances0
Lazy
Either
Lazy
Either
Lazy
Left
Construct
Lazy
Right
Construct
Left
Projection
Lazy
Either
Instances
Lazy
Either
T
Lazy
Either
T
Left
Projection
T
Lazy
Either
T
Instances
Lazy
Either
T
Instances0
Lazy
Either
T
Instances1
Lazy
Option
Lazy
Option
Lazy
Option
Instances
Lazy
Option
T
Lazy
Option
T
Lazy
Option
T
Instances
Lazy
Option
T
Instances0
Lazy
Option
T
Instances1
Lazy
Tuple
Lazy
Tuple2
Lazy
Tuple2
Lazy
Tuple2
Instances
Lazy
Tuple2
Instances0
Lazy
Tuple3
Lazy
Tuple3
Lazy
Tuple3
Instances
Lazy
Tuple3
Instances0
Lazy
Tuple4
Lazy
Tuple4
Lazy
Tuple4
Instances
Lazy
Tuple4
Instances0
Left3
Leibniz
Leibniz
Leibniz
F
Leibniz
F
Leibniz
Instances
Lens
Lens
Family
Lens
Law
Lens
Family
Lens
Family
Functions
Lens
Functions
Lens
Instances
Array
Lens
Family
Fractional
Lens
Family
Integral
Lens
Family
Map
Lens
Family
Numeric
Lens
Family
Queue
Lens
Family
Seq
Like
Lens
Family
Set
Lens
Family
Lens
Instances0
Liskov
Liskov
Liskov
F
Liskov
F
Liskov
Instances
List
T
List
T
List
T
Instances
List
T
Instances1
List
T
Instances2
Map
Instances
Map
Instances0
Map
Instances1
Map
Instances2
Maybe
Maybe
Empty
Empty
Just
Maybe
Instances
Maybe
Instances0
Maybe
Instances1
Maybe
T
Maybe
T
Maybe
T
Instances
Maybe
T
Instances0
Maybe
T
Instances1
Maybe
T
Instances2
Maybe
T
Instances3
Memo
Memo
Memo
Instances
Middle3
Monad
Monad
Law
Monad
Monad
Error
Monad
Error
Law
Monad
Error
Monad
Listen
Monad
Listen
Monad
Plus
Monad
Plus
Law
Strong
Monad
Plus
Law
Monad
Plus
Monad
Reader
Monad
Reader
Law
Monad
Reader
Monad
State
Monad
State
Ast
Get
Put
Monad
Tell
Monad
Tell
Ast
Writer
Monad
Trans
Monad
Trans
Law
Monad
Trans
Monoid
Monoid
Law
Monoid
Name
Name
Natural
Transformation
Natural
Transformation
Natural
Transformations
Need
Need
Non
Empty
List
Non
Empty
List
Non
Empty
List
Instances
Non
Empty
List
Instances0
Nondeterminism
Nondeterminism
Not
Nothing
Not
Nothing
Null
Argument
Null
Argument
Null
Argument
Instances
Null
Argument
Instances0
Null
Result
Null
Result
ilist
list
Null
Result
Instances
Null
Result
Instances0
One
And
One
And
By
Name
Lazy
Strict
One
And
Instances
One
And
Instances0
One
And
Instances1
One
And
Instances2
One
And
Instances3
One
And
Instances4
One
And
Instances5
One
Or
One
Or
One
Or
Instances
One
Or
Instances0
One
Or
Instances1
One
Or
Instances2
One
Or
Instances3
One
Or
Instances4
One
Or
Instances5
One
Or
Instances6
Option
T
Option
T
Option
T
Instances
Option
T
Instances0
Option
T
Instances1
Option
T
Instances2
Option
T
Instances3
Optional
Optional
Ord
Seq
Ord
Seq
Order
Order
Law
Order
Ordering
Ordering
E
Q
G
T
L
T
Ordering
Instances
P
Lens
P
Lens
Family
P
Lens
Family
P
Lens
Family
Functions
P
Lens
Functions
P
Lens
Instances
Fractional
P
Lens
Integral
P
Lens
Numeric
P
Lens
Plus
Plus
Law
Plus
Plus
Empty
Empty
Law
Plus
Empty
Priority
Search
Queue
Priority
Search
Queue
Pro
Choice
Pro
Choice
Profunctor
Profunctor
Law
Profunctor
Down
Star
F
Up
Star
F
Ran
Ran
Reader
Reader
T
Reader
Writer
State
Reader
Writer
State
T
Reader
Writer
State
T
Functions
Reader
Writer
State
T
Instances
Reader
Writer
State
T
Instances0
Reducer
Reducer
Law
Reducer
Reducer
Instances
Representable
Representable
Law
Representable
Representable
Instances
Right3
Scalaz
Scalaz
Build
Info
Select
Select
T
Select
T
Select
T
Instances
Select
T
Instances1
Select
T
Instances2
Select
T
Instances3
Select
T
Instances4
Select
T
Instances5
Select
T
Instances6
Select
T
Instances7
Semi
Lattice
Semi
Lattice
Law
Semi
Lattice
Semigroup
Semigroup
Law
Semigroup
Show
Show
Show
Interpolator
Shows
Shows
Shows0
Split
Split
State
State
Functions
State
T
State
T
Functions
State
T
Instances
State
T
Instances0
State
T
Instances1
State
T
Instances2
State
T
Instances3
State
T
Instances4
Store
Store
T
Store
T
Functions
Store
T
Instances
Store
T
Instances0
Store
T
Instances1
Store
T
Instances2
Stream
T
Stream
T
Done
Done
Skip
Skip
Step
Yield
Yield
Stream
T
Instances
Stream
T
Instances0
Strict
Tree
Strict
Tree
Leaf
Node
Strict
Tree
Instances
Strict
Tree
Unzip
Strong
Strong
Laws
Strong
Success
Tag
Tag
Of
Tag
Kind
Tags
Conjunction
Disjunction
Dual
First
First
Val
Last
Last
Val
Max
Max
Val
Min
Min
Val
Multiplication
Parallel
Zip
Tannen
Tannen
Tannen
Instances
Tannen
Instances0
These
Instances
These
Instances0
These
Instances1
These
T
These
T
These
T
Instances
These
T
Instances0
These
T
Instances1
Traced
T
Traced
T
Traced
T
Instances
Traced
T
Instances0
Traced
T
Instances1
Traced
T
Instances2
Traced
T
Instances3
Traced
T
Instances4
Traced
T
Instances5
Trampoline
Traverse
Traversal
Traverse
Law
Traverse
Traverse1
Traverse1
Law
Traverse1
Tree
Tree
Leaf
Node
Tree
Instances
Tree
Loc
Tree
Loc
Tree
Loc
Instances
Unapply
Unapply
Unapply2
Unapply2
Unapply21
Unapply21
Unapply
Product
Unapply
Product
Unapply_0
Unapply_2
Unapply_3
Unapply_4
Unit
Reducer
Unit
Reducer
Unwriter
Unwriter
T
Unwriter
T
Unwriter
T
Functions
Unwriter
T
Instances
Unwriter
T
Instances0
Unwriter
T
Instances1
Unwriter
T
Instances2
Unzip
Unzip
Validation
Switching
Validation
Validation
Flat
Map
Validation
Flat
Map
Validation
Instances
Validation
Instances0
Validation
Instances1
Validation
Instances2
Validation
Instances3
Value
Value
Writer
Writer
T
Writer
T
Writer
T
Functions
Writer
T
Instance5
Writer
T
Instances
Writer
T
Instances0
Writer
T
Instances1
Writer
T
Instances10
Writer
T
Instances11
Writer
T
Instances12
Writer
T
Instances13
Writer
T
Instances14
Writer
T
Instances15
Writer
T
Instances16
Writer
T
Instances2
Writer
T
Instances3
Writer
T
Instances4
Writer
T
Instances6
Writer
T
Instances7
Writer
T
Instances8
Writer
T
Instances9
Yoneda
Yoneda
Zap
Zap
Zap
Instances
Zip
Zip
Law
Zip
Zipper
Zipper
Zipper
Instances
\&/
\&/
Both
That
This
\/
Switching
Disjunction
\/
\/-
\/-
unused
scalaz
.std
All
Functions
All
Functions
All
Instances
All
Instances
Any
Val
Instances
boolean
Instance
Boolean
Functions
Double
Functions
Either
Instances
Either
Instances0
Float
Functions
Function
Functions
Function
Instances
Function
Instances0
Function
Instances1
Future
Instances
Future
Instances1
Int
Functions
Iterable
Instances
Lazy
List
Functions
Lazy
List
Instances
List
Functions
List
Instances
List
Instances0
Long
Functions
Map
Functions
Map
Instances
Map
Instances0
Option
Functions
Option
Instances
Option
Instances0
Option
Instances1
Partial
Function
Instances
Set
Functions
Set
Instances
Short
Functions
Sorted
Map
Functions
Sorted
Map
Instances
Sorted
Map
Instances0
Stream
Functions
Stream
Instances
String
Functions
String
Instances
string
Instance
Try
Functions
Try
Instances
Tuple
Instances
Tuple
Instances0
Tuple
Instances1
Tuple
Instances2
Tuple
Instances3
Type
Constraint
Instances
Vector
Functions
Vector
Instances
Vector
Instances0
`try`
any
Val
boolean
double
either
float
function
int
iterable
lazylist
lazylist
Syntax
list
list
Syntax
long
map
option
option
Syntax
partial
Function
scala
Future
set
short
sorted
Map
stream
stream
Syntax
string
string
Syntax
tuple
tuple
Syntax
type
Constraint
vector
vector
Syntax
scalaz
.std
.java
Enum
Instances
Throwable
Instances
Time
Instances
enum
throwable
time
scalaz
.std
.java
.math
Big
Decimal
Instances
Big
Integer
Instances
big
Decimal
big
Integer
scalaz
.std
.java
.util
Map
Instances
map
scalaz
.std
.java
.util
.concurrent
Callable
Instances
callable
scalaz
.std
.math
Big
Decimal
Instances
Big
Ints
Ordering
Functions
Ordering
Instances
big
Decimal
big
Int
ordering
scalaz
.syntax
Align
Ops
Align
Syntax
Alt
Ops
Alt
Syntax
Applicative
Builder
Applicative
Builder3
Applicative
Builder4
Applicative
Builder5
Applicative
Builder6
Applicative
Builder7
Applicative
Builder8
Applicative
Builder9
Applicative
Builder10
Applicative
Builder11
Applicative
Builder12
Applicative
Error
Ops
Applicative
Error
Syntax
Applicative
Ops
Applicative
Plus
Ops
Applicative
Plus
Syntax
Applicative
Syntax
Applicative
Id
V
Apply
Ops
Apply
Syntax
Arrow
Ops
Arrow
Syntax
Associative
Ops
Associative
Syntax
Band
Ops
Band
Syntax
Bifoldable
Ops
Bifoldable
Syntax
Bifunctor
Ops
Bifunctor
Syntax
Bind
Ops
Bind
Rec
Ops
Bind
Rec
Syntax
Bind
Syntax
Bitraverse
Ops
Bitraverse
Syntax
Catchable
Ops
Catchable
Syntax
Category
Ops
Category
Syntax
Choice
Ops
Choice
Syntax
Cobind
Ops
Cobind
Syntax
Comonad
Ops
Comonad
Syntax
Compose
Ops
Compose
Syntax
Const
Ops
Cont
T
Ops
Contravariant
Ops
Contravariant
Syntax
Cozip
Ops
Cozip
Syntax
Decidable
Ops
Decidable
Syntax
Distributive
Ops
Distributive
Syntax
Divide
Ops
Divide
Syntax
Divisible
Ops
Divisible
Syntax
Either
Ops
Either
T
Ops
Enum
Ops
Enum
Syntax
Equal
Ops
Equal
Syntax
Foldable1
Ops
Foldable1
Syntax
Foldable
Ops
Foldable
Syntax
Functor
Ops
Functor
Syntax
Lift
V
Id
Ops
Invariant
Alt
Ops
Invariant
Alt
Syntax
Invariant
Applicative
Ops
Invariant
Applicative
Syntax
Invariant
Functor
Ops
Invariant
Functor
Syntax
Is
Contravariant
Ops
Is
Contravariant
Syntax
Is
Covariant
Ops
Is
Covariant
Syntax
Is
Empty
Ops
Is
Empty
Syntax
Kleisli
F
A
Ops
Kleisli
Id
Ops
Maybe
Ops
Monad
Error
Id
Ops
Monad
Error
Ops
Monad
Error
Syntax
Monad
Listen
Ops
Monad
Listen
Syntax
Monad
Ops
Monad
Plus
Ops
Monad
Plus
Syntax
Monad
Syntax
Monad
Tell
Ops
Monad
Tell
Syntax
Monad
Trans
G
F
G
A
Monoid
Ops
Monoid
Syntax
Nel
Ops
Nondeterminism
Ops
Nondeterminism
Syntax
Ops
Optional
Ops
Conditional
Optional
Syntax
Order
Ops
Order
Syntax
Plus
Empty
Ops
Plus
Empty
Syntax
Plus
Ops
Plus
Syntax
Pro
Choice
Ops
Pro
Choice
Syntax
Profunctor
Ops
Profunctor
Syntax
Reducer
Ops
Reducer
Ops
Unfold
To
Semi
Lattice
Ops
Semi
Lattice
Syntax
Semigroup
Ops
Semigroup
Syntax
Show
Ops
Show
Syntax
Split
Ops
Split
Syntax
State
Ops
Strict
Tree
Ops
Strong
Ops
Strong
Syntax
Syntaxes
align
align0
all
alt
alt0
applicative
applicative0
applicative
Error
applicative
Error0
applicative
Plus
applicative
Plus0
apply
apply0
arrow
arrow0
associative
associative0
band
bifoldable
bifoldable0
bifunctor
bifunctor0
bind
bind0
bitraverse
bitraverse0
catchable
catchable0
category
category0
choice
choice0
cobind
cobind0
comonad
comonad0
compose
compose0
const
cont
T
contravariant
contravariant0
cozip
cozip0
either
eithert
enum
equal
foldable
foldable0
foldable1
foldable10
functor
functor0
id
invariant
Functor
invariant
Functor0
is
Empty
is
Empty0
kleisli
maybe
monad
monad0
monad
Error
monad
Error0
monad
Listen
monad
Listen0
monad
Plus
monad
Plus0
monad
Tell
monad
Tell0
monad
Trans
monoid
nel
optional
optional0
order
plus
plus0
plus
Empty
plus
Empty0
pro
Choice
pro
Choice0
profunctor
profunctor0
reducer
semigroup
show
split
split0
state
strict
Tree
strong
strong0
tag
these
traverse
traverse0
traverse1
traverse10
tree
unzip
unzip0
validation
writer
zip
zip0
Tag
Ops
These
Ops
These
Pair
Ops
To
Align
Ops
To
Align
Ops0
To
Align
Ops
U
To
Alt
Ops
To
Alt
Ops0
To
Alt
Ops
U
To
Applicative
Error
Ops
To
Applicative
Error
Ops0
To
Applicative
Ops
To
Applicative
Ops0
Applicative
Id
V
To
Applicative
Ops
U
To
Applicative
Plus
Ops
To
Applicative
Plus
Ops0
To
Applicative
Plus
Ops
U
To
Apply
Ops
To
Apply
Ops0
To
Apply
Ops
U
To
Arrow
Ops
To
Arrow
Ops0
To
Arrow
Ops
U
To
Associative
Ops
To
Associative
Ops0
To
Associative
Ops
U
To
Band
Ops
To
Bifoldable
Ops
To
Bifoldable
Ops0
To
Bifoldable
Ops
U
To
Bifunctor
Ops
To
Bifunctor
Ops0
To
Bifunctor
Ops
U
To
Bind
Ops
To
Bind
Ops0
To
Bind
Ops
U
To
Bind
Rec
Ops
To
Bind
Rec
Ops0
To
Bind
Rec
Ops
U
To
Bitraverse
Ops
To
Bitraverse
Ops0
To
Bitraverse
Ops
U
To
Catchable
Ops
To
Catchable
Ops0
To
Catchable
Ops
U
To
Category
Ops
To
Category
Ops0
To
Category
Ops
U
To
Choice
Ops
To
Choice
Ops0
To
Choice
Ops
U
To
Cobind
Ops
To
Cobind
Ops0
To
Cobind
Ops
U
To
Comonad
Ops
To
Comonad
Ops0
To
Comonad
Ops
U
To
Compose
Ops
To
Compose
Ops0
To
Compose
Ops
U
To
Const
Ops
To
Cont
T
Ops
To
Contravariant
Ops
To
Contravariant
Ops0
To
Contravariant
Ops
U
To
Cozip
Ops
To
Cozip
Ops0
To
Cozip
Ops
U
To
Data
Ops
To
Decidable
Ops
To
Decidable
Ops0
To
Decidable
Ops
U
To
Distributive
Ops
To
Distributive
Ops0
To
Distributive
Ops
U
To
Divide
Ops
To
Divide
Ops0
To
Divide
Ops
U
To
Divisible
Ops
To
Divisible
Ops0
To
Divisible
Ops
U
To
Either
Ops
To
Either
T
Ops
To
Enum
Ops
To
Equal
Ops
To
Foldable1
Ops
To
Foldable1
Ops0
To
Foldable1
Ops
U
To
Foldable
Ops
To
Foldable
Ops0
To
Foldable
Ops
U
To
Functor
Ops
To
Functor
Ops0
Functor
Id
V
Lift
V
To
Functor
Ops
U
To
Id
Ops
To
Invariant
Alt
Ops
To
Invariant
Alt
Ops0
To
Invariant
Alt
Ops
U
To
Invariant
Applicative
Ops
To
Invariant
Applicative
Ops0
To
Invariant
Applicative
Ops
U
To
Invariant
Functor
Ops
To
Invariant
Functor
Ops0
To
Invariant
Functor
Ops
U
To
Is
Contravariant
Ops
To
Is
Contravariant
Ops0
To
Is
Contravariant
Ops
U
To
Is
Covariant
Ops
To
Is
Covariant
Ops0
To
Is
Covariant
Ops
U
To
Is
Empty
Ops
To
Is
Empty
Ops0
To
Is
Empty
Ops
U
To
Kleisli
Ops
To
Kleisli
Ops0
To
Maybe
Ops
To
Monad
Error
Ops
To
Monad
Error
Ops0
To
Monad
Listen
Ops
To
Monad
Listen
Ops0
To
Monad
Ops
To
Monad
Ops0
To
Monad
Ops
U
To
Monad
Plus
Ops
To
Monad
Plus
Ops0
To
Monad
Plus
Ops
U
To
Monad
Tell
Ops
To
Monad
Tell
Ops0
To
Monad
Trans
Ops
To
Monoid
Ops
To
Nel
Ops
To
Nondeterminism
Ops
To
Nondeterminism
Ops0
To
Nondeterminism
Ops
U
To
Optional
Ops
To
Optional
Ops0
To
Optional
Ops
U
To
Order
Ops
To
Plus
Empty
Ops
To
Plus
Empty
Ops0
To
Plus
Empty
Ops
U
To
Plus
Ops
To
Plus
Ops0
To
Plus
Ops
U
To
Pro
Choice
Ops
To
Pro
Choice
Ops0
To
Pro
Choice
Ops
U
To
Profunctor
Ops
To
Profunctor
Ops0
To
Profunctor
Ops
U
To
Reducer
Ops
To
Semi
Lattice
Ops
To
Semigroup
Ops
To
Show
Ops
To
Split
Ops
To
Split
Ops0
To
Split
Ops
U
To
State
Ops
To
Strict
Tree
Ops
To
Strong
Ops
To
Strong
Ops0
To
Strong
Ops
U
To
Tag
Ops
To
These
Ops
To
Traverse1
Ops
To
Traverse1
Ops0
To
Traverse1
Ops
U
To
Traverse
Ops
To
Traverse
Ops0
To
Traverse
Ops
U
To
Tree
Ops
To
Type
Class
Ops
To
Unzip
Ops
To
Unzip
Ops0
Unzip
Pair
Ops
To
Unzip
Ops
U
To
Validation
Ops
To
Writer
Ops
To
Zip
Ops
To
Zip
Ops0
To
Zip
Ops
U
Traverse1
Ops
Traverse1
Syntax
Traverse
Ops
Traverse
Syntax
Tree
Ops
Unzip
Ops
Unzip
Syntax
Validation
Ops
Writer
Ops
Zip
Ops
Zip
Syntax
scalaz
.syntax
.std
Boolean
Ops
Boolean
Ops2
Conditional
Conditional
Either
Guard
Prevent
Either
Ops
Function1
Ops
Function2
Ops
Lazy
List
Ops
List
Ops
Map
Ops
Option
Id
Ops
Option
Ops
Option
Ops2
Conditional
Fold
Sorted
Map
Ops
Stream
Ops
String
Ops
To
All
Std
Ops
To
Boolean
Ops
To
Either
Ops
To
Function1
Ops
To
Function2
Ops
To
Lazy
List
Ops
To
List
Ops
To
Map
Ops
To
Option
Id
Ops
To
Option
Ops
To
Sorted
Map
Ops
To
Stream
Ops
To
String
Ops
To
Try
Ops
To
Tuple
Ops
To
Vector
Ops
Try
Ops
Tuple10
Ops
Tuple11
Ops
Tuple12
Ops
Tuple2
Ops
Tuple3
Ops
Tuple4
Ops
Tuple5
Ops
Tuple6
Ops
Tuple7
Ops
Tuple8
Ops
Tuple9
Ops
Vector
Ops
`try`
all
boolean
either
function1
function2
list
map
option
sorted
Map
stream
string
tuple
vector
scalaz-core
/
scalaz
/
Plus
/
PlusLaw
PlusLaw
trait
PlusLaw
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
trait
EmptyLaw
trait
IsEmptyLaw
trait
MonadPlusLaw
trait
StrongMonadPlusLaw
Value members
Value members
Concrete methods
def
associative
[A](f1:
F
[A], f2:
F
[A], f3:
F
[A])(implicit FA:
Equal
[
F
[A]]):
Boolean