Index

_

_abc_impl (cls.enumeration.ComputationStep attribute) (cls.enumeration.EmptyStep attribute) (cls.enumeration.Enumeration attribute) (cls.enumeration.Enumeration.LocalClearCacheComputation attribute) (cls.enumeration.EnumerationEmpty attribute) (cls.enumeration.EnumerationLazy attribute) (cls.enumeration.EnumerationLazy.LazyComputation attribute) (cls.enumeration.EnumerationLazy.LocalClearCacheComputation attribute) (cls.enumeration.EnumerationLazy.MaxSizeComputation attribute) (cls.enumeration.EnumerationLazySingleton attribute) (cls.enumeration.EnumerationLazySingleton.LazySingletonComputation attribute) (cls.enumeration.EnumerationLazySingleton.LocalClearCacheComputation attribute) (cls.enumeration.EnumerationMap attribute) (cls.enumeration.EnumerationMap.LocalClearCacheComputation attribute) (cls.enumeration.EnumerationMap.MapComputation attribute) (cls.enumeration.EnumerationMap.MaxSizeComputation attribute) (cls.enumeration.EnumerationOfIterable attribute) (cls.enumeration.EnumerationOfIterable.IterableComputation attribute) (cls.enumeration.EnumerationOfIterable.LocalClearCacheComputation attribute) (cls.enumeration.EnumerationOfIterable.MaxSizeComputation attribute) (cls.enumeration.EnumerationPay attribute) (cls.enumeration.EnumerationPay.LocalClearCacheComputation attribute) (cls.enumeration.EnumerationPay.MaxSizeComputation attribute) (cls.enumeration.EnumerationPay.PayComputation attribute) (cls.enumeration.EnumerationProduct attribute) (cls.enumeration.EnumerationProduct.LocalClearCacheComputation attribute) (cls.enumeration.EnumerationProduct.MaxSizeComputation attribute) (cls.enumeration.EnumerationProduct.ProductComputation attribute) (cls.enumeration.EnumerationSingleton attribute) (cls.enumeration.EnumerationSingleton.SingletonComputation attribute) (cls.enumeration.EnumerationSlice attribute) (cls.enumeration.EnumerationSlice.LocalClearCacheComputation attribute) (cls.enumeration.EnumerationSlice.SizeComputation attribute) (cls.enumeration.EnumerationSlice.SliceComputation attribute) (cls.enumeration.EnumerationUnion attribute) (cls.enumeration.EnumerationUnion.LocalClearCacheComputation attribute) (cls.enumeration.EnumerationUnion.MaxSizeComputation attribute) (cls.enumeration.EnumerationUnion.UnionComputation attribute) (cls.enumeration.Finite attribute) (cls.enumeration.Finite.LocalClearCacheComputation attribute) (cls.enumeration.FiniteEmpty attribute) (cls.enumeration.FiniteLazySingleton attribute) (cls.enumeration.FiniteLazySingleton.LocalClearCacheComputation attribute) (cls.enumeration.FiniteLazySingleton.SingletonComputation attribute) (cls.enumeration.FiniteMap attribute) (cls.enumeration.FiniteMap.LocalClearCacheComputation attribute) (cls.enumeration.FiniteMap.MapComputation attribute) (cls.enumeration.FiniteMap.SizeComputation attribute) (cls.enumeration.FiniteOfSequence attribute) (cls.enumeration.FiniteOfSequence.SequenceComputation attribute) (cls.enumeration.FiniteOfSequence.SizeComputation attribute) (cls.enumeration.FiniteProduct attribute) (cls.enumeration.FiniteProduct.LocalClearCacheComputation attribute) (cls.enumeration.FiniteProduct.ProductComputation attribute) (cls.enumeration.FiniteProduct.SizeComputation attribute) (cls.enumeration.FiniteSingleton attribute) (cls.enumeration.FiniteSlice attribute) (cls.enumeration.FiniteSlice.LocalClearCacheComputation attribute) (cls.enumeration.FiniteSlice.SizeComputation attribute) (cls.enumeration.FiniteSlice.SliceComputation attribute) (cls.enumeration.FiniteUnion attribute) (cls.enumeration.FiniteUnion.LocalClearCacheComputation attribute) (cls.enumeration.FiniteUnion.SizeComputation attribute) (cls.enumeration.FiniteUnion.UnionComputation attribute) (cls.fcl.Apply attribute) (cls.fcl.Combinator attribute) (cls.fcl.Failed attribute) (cls.fcl.Rule attribute) (cls.fcl.Tree.Evaluator attribute) (cls.types.Arrow attribute) (cls.types.Constructor attribute) (cls.types.Intersection attribute) (cls.types.Omega attribute) (cls.types.Product attribute) (cls.types.Type attribute)

_accumulate_covers() (cls.fcl.FiniteCombinatoryLogic method) _add_opt() (cls.enumeration.Enumeration method) (cls.enumeration.EnumerationEmpty method) (cls.enumeration.Finite method) (cls.enumeration.FiniteEmpty method) _check_continue_cover() (cls.fcl.FiniteCombinatoryLogic method) _check_cover() (cls.fcl.FiniteCombinatoryLogic method) _commit_multi_arrow() (cls.fcl.FiniteCombinatoryLogic static method) _commit_updates() (cls.fcl.FiniteCombinatoryLogic static method) _compute_fail_existing() (cls.fcl.FiniteCombinatoryLogic method) _continue_cover() (cls.fcl.FiniteCombinatoryLogic method) _cover() (cls.fcl.FiniteCombinatoryLogic method) _cover_machine() (cls.fcl.FiniteCombinatoryLogic static method) _dcap() (cls.fcl.FiniteCombinatoryLogic method) _ground_types_of() (cls.fcl.FiniteCombinatoryLogic static method) _inhabit_cover() (cls.fcl.FiniteCombinatoryLogic method) _inhabitation_machine() (cls.fcl.FiniteCombinatoryLogic method) _inhabitation_step() (cls.fcl.FiniteCombinatoryLogic method) _is_omega() (cls.types.Arrow method) (cls.types.Constructor method) (cls.types.Intersection method) (cls.types.Omega method) (cls.types.Product method) (cls.types.Type method) _merge_multi_arrow() (cls.fcl.FiniteCombinatoryLogic method) _mul_opt() (cls.enumeration.Enumeration method) (cls.enumeration.EnumerationEmpty method) (cls.enumeration.EnumerationSingleton method) (cls.enumeration.Finite method) (cls.enumeration.FiniteEmpty method) (cls.enumeration.FiniteSingleton method) _omega_rules() (cls.fcl.FiniteCombinatoryLogic method) _organized() (cls.types.Arrow method) (cls.types.Constructor method) (cls.types.Intersection method) (cls.types.Omega method) (cls.types.Product method) (cls.types.Type method) _parens() (cls.types.Type static method) _partition_cover() (cls.fcl.FiniteCombinatoryLogic static method) _path() (cls.types.Arrow method) (cls.types.Constructor method) (cls.types.Intersection method) (cls.types.Omega method) (cls.types.Product method) (cls.types.Type method) _prune() (cls.fcl.FiniteCombinatoryLogic static method) _rec() (cls.enumeration.SchweinfurtNumbers method) _reduce_multi_arrows() (cls.fcl.FiniteCombinatoryLogic method) _reflexive_closure() (cls.subtypes.Subtypes static method) _size() (cls.types.Arrow method) (cls.types.Constructor method) (cls.types.Intersection method) (cls.types.Omega method) (cls.types.Product method) (cls.types.Type method) _split_repo() (cls.fcl.FiniteCombinatoryLogic static method) _still_possible() (cls.fcl.FiniteCombinatoryLogic static method) _str_prec() (cls.types.Arrow method) (cls.types.Constructor method) (cls.types.Intersection method) (cls.types.Omega method) (cls.types.Product method) (cls.types.Type method) _tgt_for_srcs() (cls.subtypes.Subtypes method) _transitive_closure() (cls.subtypes.Subtypes static method)

A

all_values() (cls.enumeration.Enumeration method) Apply (class in cls.fcl) apply_result() (cls.fcl.InhabitationResult static method)

arg (cls.types.Constructor attribute) argument_type (cls.fcl.Apply attribute) Arrow (class in cls.types)

C

cached_computation() (cls.enumeration.Enumeration method) (cls.enumeration.Finite method) cached_max_size_computation() (cls.enumeration.Enumeration method) cached_size_computation() (cls.enumeration.Finite method) cast() (cls.subtypes.Subtypes method) check_empty() (cls.fcl.InhabitationResult method) check_subtype() (cls.subtypes.Subtypes method) children (cls.fcl.Tree attribute) clear_cache() (cls.enumeration.Enumeration method) (cls.enumeration.EnumerationEmpty method) (cls.enumeration.EnumerationSingleton method) (cls.enumeration.Finite method) clear_cache_computation() (cls.enumeration.Enumeration method) (cls.enumeration.EnumerationEmpty method) (cls.enumeration.EnumerationLazy method) (cls.enumeration.EnumerationLazySingleton method) (cls.enumeration.EnumerationMap method) (cls.enumeration.EnumerationOfIterable method) (cls.enumeration.EnumerationPay method) (cls.enumeration.EnumerationProduct method) (cls.enumeration.EnumerationSingleton method) (cls.enumeration.EnumerationSlice method) (cls.enumeration.EnumerationUnion method) (cls.enumeration.Finite method) (cls.enumeration.FiniteEmpty method) (cls.enumeration.FiniteLazySingleton method) (cls.enumeration.FiniteMap method) (cls.enumeration.FiniteProduct method) (cls.enumeration.FiniteSingleton method) (cls.enumeration.FiniteSlice method) (cls.enumeration.FiniteUnion method) cls.cls_json module cls.debug_util module cls.enumeration module

cls.fcl module cls.subtypes module cls.types module CLSDecoder (class in cls.cls_json) CLSEncoder (class in cls.cls_json) Combinator (class in cls.fcl) combinator (cls.fcl.Combinator attribute) combinator_hook() (cls.cls_json.CLSDecoder method) (cls.cls_json.CLSEncoder method) combinator_result() (cls.fcl.InhabitationResult static method) computation() (cls.enumeration.Enumeration method) (cls.enumeration.EnumerationEmpty method) (cls.enumeration.EnumerationLazy method) (cls.enumeration.EnumerationLazySingleton method) (cls.enumeration.EnumerationMap method) (cls.enumeration.EnumerationOfIterable method) (cls.enumeration.EnumerationPay method) (cls.enumeration.EnumerationProduct method) (cls.enumeration.EnumerationSingleton method) (cls.enumeration.EnumerationSlice method) (cls.enumeration.EnumerationUnion method) (cls.enumeration.Finite method) (cls.enumeration.FiniteEmpty method) (cls.enumeration.FiniteLazySingleton method) (cls.enumeration.FiniteMap method) (cls.enumeration.FiniteOfSequence method) (cls.enumeration.FiniteProduct method) (cls.enumeration.FiniteSingleton method) (cls.enumeration.FiniteSlice method) (cls.enumeration.FiniteUnion method) ComputationStep (class in cls.enumeration) Constructor (class in cls.types) constructor_hook() (cls.cls_json.CLSDecoder method) (cls.cls_json.CLSEncoder method)

D

deep_str() (in module cls.debug_util)

default() (cls.cls_json.CLSEncoder method)

E

empty() (cls.enumeration.Enumeration static method) (cls.enumeration.Finite static method) EmptyStep (class in cls.enumeration) Enumeration (class in cls.enumeration) Enumeration.LocalClearCacheComputation (class in cls.enumeration) enumeration_map (cls.fcl.InhabitationResult property) EnumerationEmpty (class in cls.enumeration) EnumerationLazy (class in cls.enumeration) EnumerationLazy.LazyComputation (class in cls.enumeration) EnumerationLazy.LocalClearCacheComputation (class in cls.enumeration) EnumerationLazy.MaxSizeComputation (class in cls.enumeration) EnumerationLazySingleton (class in cls.enumeration) EnumerationLazySingleton.LazySingletonComputation (class in cls.enumeration) EnumerationLazySingleton.LocalClearCacheComputation (class in cls.enumeration) EnumerationMap (class in cls.enumeration) EnumerationMap.LocalClearCacheComputation (class in cls.enumeration) EnumerationMap.MapComputation (class in cls.enumeration) EnumerationMap.MaxSizeComputation (class in cls.enumeration) EnumerationOfIterable (class in cls.enumeration) EnumerationOfIterable.IterableComputation (class in cls.enumeration) EnumerationOfIterable.LocalClearCacheComputation (class in cls.enumeration)

EnumerationOfIterable.MaxSizeComputation (class in cls.enumeration) EnumerationPay (class in cls.enumeration) EnumerationPay.LocalClearCacheComputation (class in cls.enumeration) EnumerationPay.MaxSizeComputation (class in cls.enumeration) EnumerationPay.PayComputation (class in cls.enumeration) EnumerationProduct (class in cls.enumeration) EnumerationProduct.LocalClearCacheComputation (class in cls.enumeration) EnumerationProduct.MaxSizeComputation (class in cls.enumeration) EnumerationProduct.ProductComputation (class in cls.enumeration) EnumerationSingleton (class in cls.enumeration) EnumerationSingleton.SingletonComputation (class in cls.enumeration) EnumerationSlice (class in cls.enumeration) EnumerationSlice.LocalClearCacheComputation (class in cls.enumeration) EnumerationSlice.SizeComputation (class in cls.enumeration) EnumerationSlice.SliceComputation (class in cls.enumeration) EnumerationUnion (class in cls.enumeration) EnumerationUnion.LocalClearCacheComputation (class in cls.enumeration) EnumerationUnion.MaxSizeComputation (class in cls.enumeration) EnumerationUnion.UnionComputation (class in cls.enumeration) evaluate() (cls.fcl.Tree method) evaluated (cls.fcl.InhabitationResult property)

F

Failed (class in cls.fcl) Finite (class in cls.enumeration) Finite.LocalClearCacheComputation (class in cls.enumeration) FiniteCombinatoryLogic (class in cls.fcl) FiniteEmpty (class in cls.enumeration) FiniteLazySingleton (class in cls.enumeration) FiniteLazySingleton.LocalClearCacheComputation (class in cls.enumeration) FiniteLazySingleton.SingletonComputation (class in cls.enumeration) FiniteMap (class in cls.enumeration) FiniteMap.LocalClearCacheComputation (class in cls.enumeration) FiniteMap.MapComputation (class in cls.enumeration) FiniteMap.SizeComputation (class in cls.enumeration) FiniteOfSequence (class in cls.enumeration) FiniteOfSequence.SequenceComputation (class in cls.enumeration)

FiniteOfSequence.SizeComputation (class in cls.enumeration) FiniteProduct (class in cls.enumeration) FiniteProduct.LocalClearCacheComputation (class in cls.enumeration) FiniteProduct.ProductComputation (class in cls.enumeration) FiniteProduct.SizeComputation (class in cls.enumeration) FiniteSingleton (class in cls.enumeration) FiniteSlice (class in cls.enumeration) FiniteSlice.LocalClearCacheComputation (class in cls.enumeration) FiniteSlice.SizeComputation (class in cls.enumeration) FiniteSlice.SliceComputation (class in cls.enumeration) FiniteUnion (class in cls.enumeration) FiniteUnion.LocalClearCacheComputation (class in cls.enumeration) FiniteUnion.SizeComputation (class in cls.enumeration) FiniteUnion.UnionComputation (class in cls.enumeration) function_type (cls.fcl.Apply attribute)

G

get_checked() (cls.enumeration.Finite method) get_values() (cls.enumeration.Enumeration method) (cls.enumeration.EnumerationEmpty method) (cls.enumeration.EnumerationLazySingleton method) (cls.enumeration.EnumerationSingleton method)

grouped_rules (cls.fcl.InhabitationResult property)

I

infinite (cls.fcl.InhabitationResult property) inhabit() (cls.fcl.FiniteCombinatoryLogic method) InhabitationResult (class in cls.fcl) intersect() (cls.types.Type static method) Intersection (class in cls.types) ints() (cls.enumeration.Enumeration static method) is_combinator (cls.fcl.Apply attribute) (cls.fcl.Combinator attribute) (cls.fcl.Failed attribute) (cls.fcl.Rule attribute)

is_omega (cls.types.Arrow attribute) (cls.types.Constructor attribute) (cls.types.Intersection attribute) (cls.types.Omega attribute) (cls.types.Product attribute) (cls.types.Type attribute)

L

lazy() (cls.enumeration.Enumeration static method) lazy_singleton() (cls.enumeration.Enumeration static method) (cls.enumeration.Finite static method)

left (cls.types.Intersection attribute) (cls.types.Product attribute)

M

map() (cls.enumeration.Enumeration method) (cls.enumeration.EnumerationEmpty method) (cls.enumeration.EnumerationMap method) (cls.enumeration.EnumerationSingleton method) (cls.enumeration.Finite method) (cls.enumeration.FiniteEmpty method) (cls.enumeration.FiniteMap method) (cls.enumeration.FiniteSingleton method) max_size_computation() (cls.enumeration.Enumeration method) (cls.enumeration.EnumerationEmpty method) (cls.enumeration.EnumerationLazy method) (cls.enumeration.EnumerationLazySingleton method) (cls.enumeration.EnumerationMap method) (cls.enumeration.EnumerationOfIterable method) (cls.enumeration.EnumerationPay method) (cls.enumeration.EnumerationProduct method) (cls.enumeration.EnumerationSingleton method) (cls.enumeration.EnumerationUnion method)

minimize() (cls.subtypes.Subtypes method) module cls.cls_json cls.debug_util cls.enumeration cls.fcl cls.subtypes cls.types

N

name (cls.types.Constructor attribute)

non_empty (cls.fcl.InhabitationResult property)

O

of() (cls.enumeration.Enumeration static method) (cls.enumeration.Finite static method) Omega (class in cls.types) organized (cls.types.Arrow attribute) (cls.types.Constructor attribute) (cls.types.Intersection attribute) (cls.types.Omega attribute) (cls.types.Product attribute) (cls.types.Type attribute)

P

path (cls.types.Arrow attribute) (cls.types.Constructor attribute) (cls.types.Intersection attribute) (cls.types.Omega attribute) (cls.types.Product attribute) (cls.types.Type attribute)

pay() (cls.enumeration.Enumeration method) (cls.enumeration.EnumerationEmpty method) (cls.enumeration.FiniteEmpty method) Product (class in cls.types)

R

raw (cls.fcl.InhabitationResult property) right (cls.types.Intersection attribute) (cls.types.Product attribute)

Rule (class in cls.fcl) rule (cls.fcl.Tree attribute) rules (cls.fcl.InhabitationResult attribute) run() (cls.enumeration.ComputationStep method)

S

SchweinfurtNumbers (class in cls.enumeration) singleton() (cls.enumeration.Enumeration static method) (cls.enumeration.Finite static method) size (cls.enumeration.Finite property) (cls.types.Arrow attribute) (cls.types.Constructor attribute) (cls.types.Intersection attribute) (cls.types.Omega attribute) (cls.types.Product attribute) (cls.types.Type attribute) size() (cls.fcl.InhabitationResult method) size_computation() (cls.enumeration.EnumerationSlice method) (cls.enumeration.Finite method) (cls.enumeration.FiniteEmpty method) (cls.enumeration.FiniteLazySingleton method) (cls.enumeration.FiniteMap method) (cls.enumeration.FiniteOfSequence method) (cls.enumeration.FiniteProduct method) (cls.enumeration.FiniteSingleton method) (cls.enumeration.FiniteSlice method) (cls.enumeration.FiniteUnion method)

source (cls.types.Arrow attribute) split_ty() (cls.fcl.FiniteCombinatoryLogic static method) Subtypes (class in cls.subtypes)

T

target (cls.fcl.Apply attribute) (cls.fcl.Combinator attribute) (cls.fcl.Failed attribute) (cls.fcl.Rule attribute) (cls.types.Arrow attribute)

targets (cls.fcl.InhabitationResult attribute) tpe() (cls.cls_json.CLSDecoder static method) (cls.cls_json.CLSEncoder static method) Tree (class in cls.fcl) Tree.Evaluator (class in cls.fcl) Type (class in cls.types)

U

unsafe_max_size() (cls.enumeration.Enumeration method)