moonlight-homology-0.1.0.0: src-topology/Moonlight/Homology/Pure/Constraint.hs

module Moonlight.Homology.Pure.Constraint
  ( Bound (..),
    TargetBetti (..),
    PersistenceBudget (..),
    EulerBound (..),
    LoopSemanticRole (..),
    LoopRole (..),
    RequireTorsionInvariant (..),
    RequireElementOrder (..),
    RequireOrderSupport (..),
    PrimaryOrderSupportBudget (..),
    RequirePrimaryOrderSupport (..),
    TorsionBudgetMeasure (..),
    TorsionBudget (..),
    RequireCyclicOrder (..),
    SingularityBudget (..),
    HarmonicLoopBudget (..),
    SkeletonSignature (..),
    SkeletonAdherence (..),
    TopologicalConstraint (..),
    TopologicalViolation (..),
    evaluateTopologicalConstraint,
    evaluateTopologicalConstraints,
  )
where

import Moonlight.Homology.Pure.Constraint.Algebra
import Moonlight.Homology.Pure.Constraint.Core
import Moonlight.Homology.Pure.Skeleton (SkeletonSignature (..))