polix 0.1.0
Namespaces
polix.ast
Abstract Syntax Tree (AST) data structures for policy expressions.
Public variables and functions:
polix.collection-ops
Extensible collection operator system for quantifiers and aggregations.
Public variables and functions:
polix.compiler
Policy compilation with residual-based evaluation.
Public variables and functions:
- boolean-ops
- comparison-op?
- compile-policies
- constraint
- constraint?
- cross-key-constraint?
- eval-constraint
- eval-constraints-for-key
- evaluate-document
- merge-constraint-sets
- merge-policies
- normalize-ast
- normalize-policy-expr
- residual->constraints
- result->policy
- simplify-constraint-set
- simplify-constraints
- with-trace
polix.core
Core functionality for polix - a DSL for writing declarative policies.
Public variables and functions:
- all-conflicts?
- analyze-policy
- ast-node
- bind-params
- classify-token
- combine-residuals
- compile-policies
- conflict
- conflict-constraint
- conflict-residual
- conflict-witness
- conflict?
- create-registry
- defpolicy
- detect-cycle
- doc-accessor
- doc-accessor?
- error
- error?
- event-accessor?
- extract-doc-keys
- extract-param-keys
- function-call
- has-conflicts?
- let-binding?
- literal
- load-module
- load-modules
- merge-policies
- merge-residuals
- module-namespaces
- negate
- ok
- ok?
- open-residual?
- param-accessor?
- param-defaults
- parameterized-policies
- parse-policy
- policy-info
- policy-reference?
- register-alias
- register-module
- required-params
- residual->constraints
- residual?
- resolve-namespace
- resolve-policy
- result->policy
- satisfied?
- self-accessor?
- thunk
- thunkable?
- topological-sort
- unify
- unwrap
- validate-params
polix.effects.schema
Malli schemas for effects and results.
Public variables and functions:
- AssocInEffect
- ConditionalEffect
- ConjInEffect
- CtxRef
- CustomEffect
- DissocInEffect
- Effect
- explain
- Failure
- FailureStrategy
- LetEffect
- MergeInEffect
- MoveEffect
- NoopEffect
- ParamRef
- Path
- PathSegment
- PendingInfo
- Reference
- registry
- RemoveInEffect
- ResidualStrategy
- Result
- SequenceEffect
- SpeculativeCondition
- StateRef
- TransactionEffect
- UpdateInEffect
- valid?
- ValueOrRef
polix.loader
Module loading from EDN data with dependency resolution.
Public variables and functions:
polix.optimized.analyzer
Policy analysis for optimized evaluation tier selection.
Public variables and functions:
polix.optimized.evaluator
Optimized policy evaluator using pre-computed templates.
Public variables and functions:
polix.optimized.templates
Pre-computed residual structures for optimized evaluation.
Public variables and functions:
polix.parser
Parser for the policy DSL.
polix.registry
Unified registry for namespace resolution in policies.
Public variables and functions:
- AccessorEntry
- alias-namespaces
- AliasEntry
- all-policies
- BuiltinsEntry
- create-registry
- get-global-registry
- init-global-registry!
- IRegistry
- module-namespaces
- ModuleEntry
- param-defaults
- ParamDef
- parameterized-policies
- policy-info
- PolicyDef
- register-alias
- register-alias!
- register-module
- register-module!
- Registry
- RegistryEntry
- RegistryEntryType
- reserved-namespace?
- reserved-namespaces
- reset-global-registry!
- resolve-reference
- unregister-module
- validate-module
- validate-registry
polix.residual
Residual data model for policy unification.
Public variables and functions:
- add-constraint
- all-conflicts?
- combine-residuals
- conflict
- conflict-constraint
- conflict-residual
- conflict-witness
- conflict?
- constraints->residual
- constraints-for
- has-complex?
- has-conflicts?
- has-cross-key?
- map-constraints
- merge-constraint-vectors
- merge-residuals
- open-residual?
- remove-path
- residual
- residual->constraints
- residual-keys
- residual?
- result-type
- satisfied
- satisfied?
polix.result
Tagged map result type for success/error handling.
polix.triggers.core
Domain-agnostic reactive event-driven trigger system.
Public variables and functions:
polix.triggers.effects
Integration with polix.effects for effect application.
Public variables and functions:
polix.unify
Core unification engine for policy evaluation.