Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
View Source
var ( // MonoidAny is the boolean [M.Monoid] under disjunction MonoidAny = M.MakeMonoid( func(l, r bool) bool { return l || r }, false, ) // MonoidAll is the boolean [M.Monoid] under conjuction MonoidAll = M.MakeMonoid( func(l, r bool) bool { return l && r }, true, ) // Eq is the equals predicate for boolean Eq = EQ.FromStrictEquals[bool]() // Ord is the strict ordering for boolean Ord = O.MakeOrd(func(l, r bool) int { if l { if r { return 0 } return +1 } if r { return -1 } return 0 }, func(l, r bool) bool { return l == r }) )
Functions ¶
This section is empty.
Types ¶
This section is empty.
Click to show internal directories.
Click to hide internal directories.