pandora-0.2.4: pandora.cabal

name:                pandora
version:             0.2.4
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.Morphism

    Pandora.Paradigm
    -- Basic constructions
    Pandora.Paradigm.Basis
    Pandora.Paradigm.Basis.Conclusion
    Pandora.Paradigm.Basis.Constant
    Pandora.Paradigm.Basis.Continuation
    Pandora.Paradigm.Basis.Edges
    Pandora.Paradigm.Basis.Endo
    Pandora.Paradigm.Basis.Fix
    Pandora.Paradigm.Basis.Free
    Pandora.Paradigm.Basis.Identity
    Pandora.Paradigm.Basis.Jack
    Pandora.Paradigm.Basis.Jet
    Pandora.Paradigm.Basis.Kan
    Pandora.Paradigm.Basis.Maybe
    Pandora.Paradigm.Basis.Predicate
    Pandora.Paradigm.Basis.Product
    Pandora.Paradigm.Basis.Proxy
    Pandora.Paradigm.Basis.Tagged
    Pandora.Paradigm.Basis.Twister
    Pandora.Paradigm.Basis.Validation
    Pandora.Paradigm.Basis.Variation
    Pandora.Paradigm.Basis.Wye
    Pandora.Paradigm.Basis.Yoneda
    -- Control flow primitives
    Pandora.Paradigm.Controlflow
    -- Typeclassess about functor junctions
    Pandora.Paradigm.Controlflow.Joint
    Pandora.Paradigm.Controlflow.Joint.Interpreted
    Pandora.Paradigm.Controlflow.Joint.Transformer
    Pandora.Paradigm.Controlflow.Joint.Transformer.Monadic
    Pandora.Paradigm.Controlflow.Joint.Transformer.Comonadic
    Pandora.Paradigm.Controlflow.Joint.Schematic
    Pandora.Paradigm.Controlflow.Joint.Adaptable
    Pandora.Paradigm.Controlflow.Joint.Schemes
    Pandora.Paradigm.Controlflow.Joint.Schemes.TU
    Pandora.Paradigm.Controlflow.Joint.Schemes.TUV
    Pandora.Paradigm.Controlflow.Joint.Schemes.TUVW
    Pandora.Paradigm.Controlflow.Joint.Schemes.UT
    Pandora.Paradigm.Controlflow.Joint.Schemes.UTU
    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.Cartesian
    Pandora.Paradigm.Structure.Nonempty
    Pandora.Paradigm.Structure.Specific
    Pandora.Paradigm.Structure.Specific.Stack
    Pandora.Paradigm.Structure.Specific.Graph
    Pandora.Paradigm.Structure.Specific.Binary

    Pandora.Pattern
    -- Category typeclass
    Pandora.Pattern.Category
    -- Functor typeclassess
    Pandora.Pattern.Functor
    Pandora.Pattern.Functor.Adjoint
    Pandora.Pattern.Functor.Alternative
    Pandora.Pattern.Functor.Applicative
    Pandora.Pattern.Functor.Bindable
    Pandora.Pattern.Functor.Comonad
    Pandora.Pattern.Functor.Contravariant
    Pandora.Pattern.Functor.Covariant
    Pandora.Pattern.Functor.Determinable
    Pandora.Pattern.Functor.Distributive
    Pandora.Pattern.Functor.Avoidable
    Pandora.Pattern.Functor.Extendable
    Pandora.Pattern.Functor.Extractable
    Pandora.Pattern.Functor.Invariant
    Pandora.Pattern.Functor.Liftable
    Pandora.Pattern.Functor.Lowerable
    Pandora.Pattern.Functor.Monad
    Pandora.Pattern.Functor.Pointable
    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.Chain
    Pandora.Pattern.Object.Group
    Pandora.Pattern.Object.Lattice
    Pandora.Pattern.Object.Monoid
    Pandora.Pattern.Object.Quasiring
    Pandora.Pattern.Object.Ringoid
    Pandora.Pattern.Object.Semigroup
    Pandora.Pattern.Object.Semilattice
    Pandora.Pattern.Object.Setoid
  default-extensions:
    DataKinds, ConstraintKinds, ExistentialQuantification, GADTs, QuantifiedConstraints
    FlexibleContexts, FlexibleInstances, KindSignatures, LiberalTypeSynonyms, LambdaCase
    MultiParamTypeClasses, NoImplicitPrelude, PackageImports, PolyKinds, RankNTypes
    ScopedTypeVariables, TypeApplications, TypeFamilies, TypeFamilyDependencies, TypeOperators
  default-language: Haskell2010
  ghc-options: -Wall -fno-warn-tabs