pandora-0.5.2: pandora.cabal

name:                pandora
version:             0.5.2
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 <iokasimov.m@gmail.com>
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.Paradigm
    -- Basic constructions
    Pandora.Paradigm.Primary
    Pandora.Paradigm.Primary.Object
    Pandora.Paradigm.Primary.Algebraic
    Pandora.Paradigm.Primary.Algebraic.Functor
    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.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.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.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.Interpreted
    Pandora.Paradigm.Controlflow.Effect.Conditional
    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.Nonempty
    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.Modification.Turnover
    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
    Pandora.Pattern.Betwixt
    -- 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
    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