• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for oalg-base-1.0.0.1 source tarball

oalg-base-1.0.0.1/

• CHANGELOG.md
• LICENSE
• README.md
• Setup.hs
• oalg-base.cabal
• src/
  • OAlg/
    • Adjunction.hs
    • Hom.hs
    • Prelude.hs
    • Adjunction/
      • Definition.hs
      • Limes.hs
    • Category/
      • Applicative.hs
      • Definition.hs
      • Path.hs
      • Proposition.hs
      • Unify.hs
    • Control/
      • Action.hs
      • Exception.hs
      • HNFData.hs
      • Solver.hs
      • Validate.hs
      • Verbose.hs
    • Data/
      • Boolean.hs
      • Canonical.hs
      • Constructable.hs
      • Dualisable.hs
      • Either.hs
      • Equal.hs
      • Generator.hs
      • Identity.hs
      • Maybe.hs
      • Number.hs
      • Opposite.hs
      • Ord.hs
      • Reducible.hs
      • Show.hs
      • Singleton.hs
      • Singular.hs
      • Statement.hs
      • Statistics.hs
      • Symbol.hs
      • Tree.hs
      • TypeLits.hs
      • Validable.hs
      • X.hs
      • Boolean/
        • Definition.hs
        • Proposition.hs
      • Statement/
        • Definition.hs
        • Proposition.hs
    • Entity/
      • Definition.hs
      • Diagram.hs
      • FinList.hs
      • Matrix.hs
      • Natural.hs
      • Product.hs
      • Sequence.hs
      • Slice.hs
      • Diagram/
        • Definition.hs
        • Proposition.hs
        • Quiver.hs
        • Transformation.hs
      • Matrix/
        • Definition.hs
        • Dim.hs
        • Entries.hs
        • GeneralLinearGroup.hs
        • ProductsAndSums.hs
        • Proposition.hs
        • Transformation.hs
      • Product/
        • Definition.hs
        • Proposition.hs
      • Sequence/
        • Definition.hs
        • Graph.hs
        • PSequence.hs
        • Permutation.hs
        • ProductSymbol.hs
        • Set.hs
      • Slice/
        • Adjunction.hs
        • Definition.hs
        • Free.hs
    • Hom/
      • Additive.hs
      • Algebraic.hs
      • Definition.hs
      • Distributive.hs
      • Fibred.hs
      • Multiplicative.hs
      • Oriented.hs
      • Proposition.hs
      • Vectorial.hs
      • Multiplicative/
        • Definition.hs
        • Proposition.hs
      • Oriented/
        • Definition.hs
        • Proposition.hs
    • Limes/
      • Cone.hs
      • Definition.hs
      • EqualizersAndCoequalizers.hs
      • KernelsAndCokernels.hs
      • Limits.hs
      • MinimaAndMaxima.hs
      • Perspective.hs
      • ProductsAndSums.hs
      • Proposition.hs
      • PullbacksAndPushouts.hs
      • TerminalAndInitialPoint.hs
      • Cone/
        • Definition.hs
        • EligibleFactor.hs
    • Structure/
      • Additive.hs
      • Algebraic.hs
      • Definition.hs
      • Distributive.hs
      • Exception.hs
      • Exponential.hs
      • Fibred.hs
      • Multiplicative.hs
      • Number.hs
      • Operational.hs
      • Oriented.hs
      • Proposition.hs
      • Ring.hs
      • Vectorial.hs
      • Additive/
        • Definition.hs
        • Proposition.hs
      • Algebraic/
        • Definition.hs
        • Proposition.hs
      • Distributive/
        • Definition.hs
        • Proposition.hs
      • Fibred/
        • Definition.hs
        • Proposition.hs
      • Multiplicative/
        • Definition.hs
        • Proposition.hs
      • Number/
        • Definition.hs
      • Oriented/
        • Definition.hs
        • Proposition.hs
      • Ring/
        • Definition.hs
      • Vectorial/
        • Definition.hs
        • Proposition.hs
• test/
  • Spec.hs