name: pandora version: 0.5.5 synopsis: A box of patterns and paradigms description: Humble attempt to define a library for problem solving based on math abstractions. homepage: https://github.com/iokasimov/pandora license: MIT license-file: LICENSE extra-source-files: CHANGELOG.md, README.md author: Murat Kasimov maintainer: Murat Kasimov copyright: Copyright (c) 2019 Murat Kasimov category: Data, Control build-type: Simple cabal-version: >= 1.10 source-repository head type: git location: https://github.com/iokasimov/pandora.git library exposed-modules: -- Axioms set Pandora.Core Pandora.Core.Functor Pandora.Core.Impliable Pandora.Core.Interpreted Pandora.Paradigm -- Basic constructions Pandora.Paradigm.Algebraic Pandora.Paradigm.Algebraic.Functor Pandora.Paradigm.Algebraic.Exponential Pandora.Paradigm.Algebraic.Product Pandora.Paradigm.Algebraic.Sum Pandora.Paradigm.Algebraic.Zero Pandora.Paradigm.Algebraic.One Pandora.Paradigm.Primary Pandora.Paradigm.Primary.Auxiliary Pandora.Paradigm.Primary.Object Pandora.Paradigm.Primary.Object.Boolean Pandora.Paradigm.Primary.Object.Ordering Pandora.Paradigm.Primary.Object.Numerator Pandora.Paradigm.Primary.Object.Denumerator Pandora.Paradigm.Primary.Functor Pandora.Paradigm.Primary.Functor.Conclusion Pandora.Paradigm.Primary.Functor.Constant Pandora.Paradigm.Primary.Functor.Edges Pandora.Paradigm.Primary.Functor.Endo Pandora.Paradigm.Primary.Functor.Fix Pandora.Paradigm.Primary.Functor.Exactly Pandora.Paradigm.Primary.Functor.Maybe Pandora.Paradigm.Primary.Functor.Proxy Pandora.Paradigm.Primary.Functor.Tagged Pandora.Paradigm.Primary.Functor.These Pandora.Paradigm.Primary.Functor.Validation Pandora.Paradigm.Primary.Functor.Wye Pandora.Paradigm.Primary.Functor.Wedge Pandora.Paradigm.Primary.Functor.Predicate Pandora.Paradigm.Primary.Functor.Convergence Pandora.Paradigm.Primary.Transformer Pandora.Paradigm.Primary.Transformer.Backwards Pandora.Paradigm.Primary.Transformer.Reverse Pandora.Paradigm.Primary.Transformer.Continuation Pandora.Paradigm.Primary.Transformer.Construction Pandora.Paradigm.Primary.Transformer.Instruction Pandora.Paradigm.Primary.Transformer.Tap Pandora.Paradigm.Primary.Transformer.Outline Pandora.Paradigm.Primary.Transformer.Jack Pandora.Paradigm.Primary.Transformer.Jet Pandora.Paradigm.Primary.Transformer.Kan Pandora.Paradigm.Primary.Transformer.Day Pandora.Paradigm.Primary.Transformer.Yoneda -- Schemes of functor compositions Pandora.Paradigm.Schemes Pandora.Paradigm.Schemes.TT Pandora.Paradigm.Schemes.TU Pandora.Paradigm.Schemes.TUT Pandora.Paradigm.Schemes.TUVW Pandora.Paradigm.Schemes.UT Pandora.Paradigm.Schemes.UTU Pandora.Paradigm.Schemes.T_U Pandora.Paradigm.Schemes.U_T Pandora.Paradigm.Schemes.PTU Pandora.Paradigm.Schemes.P_T Pandora.Paradigm.Schemes.P_Q_T Pandora.Paradigm.Schemes.PQ_ -- Control flow primitives Pandora.Paradigm.Controlflow -- Typeclassess about functor junctions Pandora.Paradigm.Controlflow.Effect Pandora.Paradigm.Controlflow.Effect.Transformer Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic Pandora.Paradigm.Controlflow.Effect.Adaptable Pandora.Paradigm.Controlflow.Observable Pandora.Paradigm.Controlflow.Pipeline -- Tools for datastructures Pandora.Paradigm.Inventory Pandora.Paradigm.Inventory.Ability Pandora.Paradigm.Inventory.Ability.Gettable Pandora.Paradigm.Inventory.Ability.Settable Pandora.Paradigm.Inventory.Ability.Modifiable Pandora.Paradigm.Inventory.Some Pandora.Paradigm.Inventory.Some.Accumulator Pandora.Paradigm.Inventory.Some.Provision Pandora.Paradigm.Inventory.Some.Equipment Pandora.Paradigm.Inventory.Some.Imprint Pandora.Paradigm.Inventory.Some.Optics Pandora.Paradigm.Inventory.Some.State Pandora.Paradigm.Inventory.Some.Store -- Tree-based datastructures Pandora.Paradigm.Structure Pandora.Paradigm.Structure.Ability Pandora.Paradigm.Structure.Ability.Morphable Pandora.Paradigm.Structure.Ability.Accessible Pandora.Paradigm.Structure.Ability.Possible Pandora.Paradigm.Structure.Ability.Substructure Pandora.Paradigm.Structure.Ability.Monotonic Pandora.Paradigm.Structure.Ability.Slidable Pandora.Paradigm.Structure.Modification Pandora.Paradigm.Structure.Modification.Combinative Pandora.Paradigm.Structure.Modification.Comprehension Pandora.Paradigm.Structure.Modification.Nonempty Pandora.Paradigm.Structure.Modification.Prefixed Pandora.Paradigm.Structure.Modification.Turnover Pandora.Paradigm.Structure.Modification.Tape Pandora.Paradigm.Structure.Interface Pandora.Paradigm.Structure.Interface.Set Pandora.Paradigm.Structure.Interface.Dictionary Pandora.Paradigm.Structure.Interface.Stack Pandora.Paradigm.Structure.Interface.Zipper Pandora.Paradigm.Structure.Some Pandora.Paradigm.Structure.Some.Stream Pandora.Paradigm.Structure.Some.List Pandora.Paradigm.Structure.Some.Binary Pandora.Paradigm.Structure.Some.Splay Pandora.Paradigm.Structure.Some.Rose -- Linear albegra's primitives Pandora.Paradigm.Primary.Linear Pandora.Paradigm.Primary.Linear.Vector Pandora.Paradigm.Primary.Linear.Matrix Pandora.Pattern Pandora.Pattern.Betwixt -- Different morphisms Pandora.Pattern.Morphism.Trip Pandora.Pattern.Morphism.Flip Pandora.Pattern.Morphism.Straight -- Algebra typeclasses Pandora.Pattern.Semigroupoid Pandora.Pattern.Category Pandora.Pattern.Groupoid Pandora.Pattern.Kernel Pandora.Pattern.Morphism -- Functor typeclassess Pandora.Pattern.Functor Pandora.Pattern.Functor.Adjoint Pandora.Pattern.Functor.Semimonoidal Pandora.Pattern.Functor.Monoidal Pandora.Pattern.Functor.Bindable Pandora.Pattern.Functor.Comonad Pandora.Pattern.Functor.Contravariant Pandora.Pattern.Functor.Covariant Pandora.Pattern.Functor.Distributive Pandora.Pattern.Functor.Extendable Pandora.Pattern.Functor.Invariant Pandora.Pattern.Functor.Monad Pandora.Pattern.Functor.Representable Pandora.Pattern.Functor.Traversable -- Typeclassess about object internals Pandora.Pattern.Object Pandora.Pattern.Object.Setoid Pandora.Pattern.Object.Chain Pandora.Pattern.Object.Cycle Pandora.Pattern.Object.Semigroup Pandora.Pattern.Object.Monoid Pandora.Pattern.Object.Group Pandora.Pattern.Object.Lattice Pandora.Pattern.Object.Quasiring Pandora.Pattern.Object.Ring Pandora.Pattern.Object.Ringoid Pandora.Pattern.Object.Semilattice Pandora.Pattern.Object.Semiring -- Typeclassess about object composition of functors Pandora.Pattern.Transformer Pandora.Pattern.Transformer.Hoistable Pandora.Pattern.Transformer.Liftable Pandora.Pattern.Transformer.Lowerable default-extensions: DataKinds, ConstraintKinds, ExistentialQuantification, GADTs, QuantifiedConstraints, InstanceSigs, StandaloneKindSignatures FlexibleContexts, FlexibleInstances, KindSignatures, StandaloneKindSignatures, LiberalTypeSynonyms, LambdaCase, FunctionalDependencies MultiParamTypeClasses, NoImplicitPrelude, PackageImports, PolyKinds, RankNTypes, ViewPatterns ScopedTypeVariables, TypeApplications, TypeFamilies, TypeFamilyDependencies, TypeOperators default-language: Haskell2010 ghc-options: -Wall -fno-warn-tabs -fno-warn-unticked-promoted-constructors -fprint-potential-instances