name: pandora version: 0.4.7 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.Appliable Pandora.Paradigm -- Basic constructions Pandora.Paradigm.Primary Pandora.Paradigm.Primary.Object Pandora.Paradigm.Primary.Algebraic Pandora.Paradigm.Primary.Algebraic.Exponential Pandora.Paradigm.Primary.Algebraic.Product Pandora.Paradigm.Primary.Algebraic.Sum Pandora.Paradigm.Primary.Algebraic.Zero Pandora.Paradigm.Primary.Algebraic.One 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.Identity 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.Pattern.Morphism.Flip Pandora.Pattern.Morphism.Straight 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.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.Interpreted 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.Accumulator Pandora.Paradigm.Inventory.Environment Pandora.Paradigm.Inventory.Equipment Pandora.Paradigm.Inventory.Imprint Pandora.Paradigm.Inventory.Optics Pandora.Paradigm.Inventory.State Pandora.Paradigm.Inventory.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.Substructure Pandora.Paradigm.Structure.Ability.Nonempty Pandora.Paradigm.Structure.Ability.Nullable Pandora.Paradigm.Structure.Ability.Zipper Pandora.Paradigm.Structure.Ability.Monotonic Pandora.Paradigm.Structure.Modification Pandora.Paradigm.Structure.Modification.Combinative Pandora.Paradigm.Structure.Modification.Comprehension Pandora.Paradigm.Structure.Modification.Prefixed Pandora.Paradigm.Structure.Interface Pandora.Paradigm.Structure.Interface.Set Pandora.Paradigm.Structure.Interface.Dictionary Pandora.Paradigm.Structure.Interface.Stack 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 -- Algebra typeclasses Pandora.Pattern.Semigroupoid Pandora.Pattern.Category Pandora.Pattern.Groupoid 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 Pandora.Pattern.Functor.Divariant Pandora.Pattern.Functor.Bivariant -- 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 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