nutcracker
nutcracker
nutcracker
Alternator
Alternator
Left
Right
Stop
Assessment
Assessment
Done
Failed
Incomplete
Stuck
Assignment
Assignment
AssignmentBuilder
BranchingPropagation
BranchingPropagation
Constraint
CostApi
CostApi
Defer
Dom
Dom
tupled
DomWithBottom
DomWithBottom
Final
Final
IDom
IDom
IUpdateResult
IUpdateResult
JoinDom
JoinDom
Template
Observe
IObserveSyntaxHelper
Observable
MapSyntaxHelper
WhenFinalSyntaxHelper
ObserveSyntaxHelper
Observers
OnDemandPropagation
ExclUpdateSyntaxHelper
OnDemandPropagation
OrientedPattern
OrientedPattern
PartiallyAssignedOrientedPattern
PartiallyAssignedPattern
Pattern
Pattern
Builder
PartiallyAssignedPatternBuilder
PatternBuilder
Propagation
UpdateSyntaxHelper
Propagation
RDom
RDom
Recipe
Rel
Rel
RelChoice
RelObservable
MapSyntaxHelper
RelObservable
RelObserve
Relations
ConstrainSyntaxHelper
EstablishMatchingSyntaxHelper
EstablishSyntaxHelper
RelateSyntaxHelper
Relations
RelativelyComplementedDom
RelativelyComplementedDom
Splittable
Splittable
Failed
Refined
SplittableOps
Status
Unrefined
SplittableDomWithBottom
SplittableDomWithBottom
SplittableJoinDom
SplittableJoinDom
Subscription
Subscription
SyncDom
TerminalDom
TriggerF
TriggerF
Discard
Fire
FireReload
Reconsider
Sleep
Unchanged
UpdateResult
Updated
nutcracker.data
CellSet
CellSet
Added
InitSyntaxHelper
Update
Closeable
Closeable
Closed
ContentUpdated
Delta
Open
Terminate
Terminated
Update
UpdateContent
DecSet
DecSet
Diff
Join
Removed
Update
Discrete
Discrete
DiscreteInstances
DiscreteInstances1
IncSet
IncSet
Added
Join
IncSets
Lexicographic
Lexicographic
Promise
Promise
Completed
Conflict
Empty
PromiseOnce
PromiseOnce
Completed
Conflict
Empty
Promises
PromiseBuilder
PromiseBuilder
PromiseContBuilder
Revocable
Revocable
Revoked
Valid
Tupled2
Tupled2
intMax
listLog
LogOps
NewLogSyntaxHelper
nutcracker.data.bool
Bool
Bool
Anything
Contradiction
Join
MustBeFalse
MustBeTrue
BoolOps
BoolRefOps
BoolRefOps1
BoolOps
nutcracker.ops
DomOps
FinalValOps
JoinValOps
JoinValOps
JoinVarOps
JoinVarOps
Ops
RelativelyComplementedRefOps
RelativelyComplementedRefSeqOps
ToDomOps
ToValOps
ToVarOps
ValOps
VarOps
VarOps
dom
nutcracker.toolkit
BFSSolver
BranchLang
BranchLang
AddFailed
AddUnresolved
RmUnresolved
BranchStore
BranchingListModule
BranchingModule
BranchingModule
BranchingToolkit
CostLang
CostLang
Cost
GetCost
CostListModule
CostModule
CostModule
CostRefToolkit
CostToolkit
DFSSolver
DeferLang
DeferLang
Delay
Exec
DeferListModule
DeferModule
DeferModule
FreeBranchingToolkit
FreeOnDemandPropagationToolkit
FreeOnDemandPropagationToolkit
FreePropagationToolkit
FreePropagationToolkit
FreeRefToolkit
FreeStashToolkit
FreeToolkit
InitializingCell
ListModule
Module
Module
OnDemandCell
OnDemandPropagationListModule
OnDemandPropagationModule
OnDemandPropagationModule
OnDemandPropagationToolkit
OnDemandPropagationToolkit
PersistentBranchingModule
PersistentBranchingModule
PersistentCostModule
PersistentCostModule
PersistentDeferModule
PersistentDeferModule
PersistentOnDemandPropagationModule
PersistentOnDemandPropagationModule
PersistentPropagationModule
PersistentPropagationModule
PersistentRelModule
PersistentRelModule
PersistentStateModule
PersistentStateModule
PropBranch
PropBranchCost
PropBranchCostToolkit
PropBranchCostToolkit
PropBranchToolkit
PropBranchToolkit
PropRel
PropRelToolkit
PropRelToolkit
PropagationListModule
PropagationModule
PropagationModule
PropagationStore
PropagationToolkit
PropagationToolkit
RefToolkit
RelModule
RelModule
RelToolkit
StashDeferModule
StashModule
StashModule
StashOnDemandPropagationModule
StashOnDemandPropagationModule
StashPropagationModule
StashPropagationModule
StashRelModule
StashRestore
StashRestore
StashRestoreOps
StashToolkit
Toolkit
nutcracker.util
APairK
APairK
AnyOps
Builder
Builder
Pair
unit
Aggregator
Aggregator
AggregatorK
AggregatorK
Catenable
Choose
Lifter
Choose
ChooseByNats
ChooseByNats
ChooseByPtrs
ChooseByPtrs
ContT
ContU
WrappedContU
CoproductK
Builder
Builder
zero
DeepEqual
DeepEqual
DeepEqualK
DeepShow
DeepShowK
Desc
ENone
ESome
EqualK
EqualK
Exists
Exists
ExistsOption
ExistsOption
FreeK
FreeK
FreeKT
FreeKT
FreeObjectOutput
FreeObjectOutput
After
Before
BeforeAfter
Decoration
IndexedDecoration
IndexedDecoration
Naked
Tree
Tree
FunctorKA
HEqual
HEqual
HEqualK
HEqualK
HHKMap
HHKMap
HKMap
HKMap
HList
HList
::
Drop
Drop
HNil
Length
Length
HListPtr
HListPtr
HOrderK
HOrderK
Id
Id
Index
IndexedContT
Inject
Inject
InjectInstances0
InjectInstances1
InjectInstances2
InjectInstances3
InjectInstances4
InjectInstances5
IsEqual
IsEqual
PApplied
K2Map
K2Map
K3Map
K3Map
K3Pair
K3Pair
KMap
KMap
KMap1_2
KMap1_2
KMapB
KMapB
Lst
Lst
Mapped
Mapped
MappedListBuilder
MappedListBuilder
Mediated
Mediated
MonadObjectOutput
MonadTellState
MonoidAggregator
MonoidK
Nat
Nat
Succ
ToInt
ToInt
_0
ObjectOutput
ObjectOutput
ObjectSerializer
ObjectSerializer
FromSerialize
FromWrite
OrderK
Pointers
Pointers
Pointers0
Pointers0
ShowK
ShowK
StateInterpreter
StratifiedAggregator
StratifiedMonoidAggregator
SummonHList
SummonHList
Transformed
Transformed
Comapped
Mapped
TransformedIndex
TransformedIndex
TwoLevel
TwoLevel
TwoLevelInstances
TwoLevelInstances1
ValuedPointers
ValuedPointers
WriterState
WriterStateT
WriterStateT
WriterStateTInstances
WriterStateTInstances1
WriterStateTInstances2
`Exists{(* -> *) -> *}`
`Exists{(* -> *) -> *}`
SyntaxHelper
`Forall{(* -> *) -> * -> *}`
`Forall{(* -> *) -> *}`
`Forall{* -> *}`
`FunctionK{(* -> *) -> * -> *}`
`FunctionK{(* -> *) -> * -> *}`
`FunctionK{(* -> *) -> *}`
nutcracker.util.algebraic
NonDecreasingMonoid
NonDecreasingMonoid
NonDecreasingSemigroup
NonDecreasingSemigroup
Laws
NonIncreasingMonoid
NonIncreasingMonoid
NonIncreasingSemigroup
NonIncreasingSemigroup
Laws
OrderPreservingMonoid
OrderPreservingMonoid
OrderPreservingSemigroup
OrderPreservingSemigroup
Laws
SemigroupWithOrder
SemigroupWithOrder
nutcracker.util.algebraic.laws
monoid
nonDecreasingMonoid
nonDecreasingSemigroup
nonIncreasingMonoid
nonIncreasingSemigroup
order
orderPreservingMonoid
orderPreservingSemigroup
semigroup
semigroupWithOrder
nutcracker.util.free
Coproduct
Free
Free
FreeBind
FreeBind
FreeBindInstances
FreeBindInstances1
FreeInstances
FreeInstances1
FreeT
FreeT
Trampoline
Trampoline
nutcracker.util.ops
ApplicativeOps
ContTOps
DescOps
FoldableOps
IndexedContTOps
IterableOps
IteratorOps
IteratorOps
LensOps
Ops
StratifiedMonoidAggregatorOps
TellInterpolator
ToApplicativeOps
ToContTOps
ToDescOps
ToFoldableOps
ToIndexedContTOps
ToIterableOps
ToIteratorOps
ToLensOps
ToStratifiedMonoidAggregatorOps
ToTellOps
applicative
contT
desc
foldable
indexedContT
iterable
iterator
lens
stratifiedMonoidAggregator
tell
nutcracker.util.typealigned
ACons
AJust
AList
AList
AList1
AList1
ANone
AOption
AOption
APair
ASome
BalancedAppender
BalancedAppender
BalancedComposer
BalancedComposer
Post
Pre
BalancedPostComposer
BalancedPreComposer
BalancedPrepender
BalancedPrepender
BoundedAPair
BoundedAPair
Builder
FreeCompose
FreeCompose
FunctorLike
FunctorLike
FromContravariant
FromCovariant
nutcracker
/
nutcracker.util.algebraic
/
NonIncreasingSemigroup
NonIncreasingSemigroup
object
NonIncreasingSemigroup
Companion:
class
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
NonIncreasingSemigroup
.type
Type members
Value members
Type members
Classlikes
trait
Laws
[
A
]
Value members
Concrete methods
def
apply
[
A
](
implicit
A:
NonIncreasingSemigroup
[
A
]):
NonIncreasingSemigroup
[
A
]
def
laws
[
A
](
implicit
ev:
NonIncreasingSemigroup
[
A
]):
Laws
[
A
]