name:                morphisms-functors
version:             0.1.7
synopsis:            Functors, theirs compositions and transformations
description:         Attempt to define categorical abstractions in more robust and useful way.
homepage:            https://github.com/iokasimov/morphisms-functors
license:             MIT
license-file:        LICENSE
extra-source-files:  CHANGELOG.md
author:              Murat Kasimov
maintainer:          Murat Kasimov <iokasimov.m@gmail.com>
copyright:           Copyright (c) 2018 Murat Kasimov
category:            Data, Control
build-type:          Simple
cabal-version:       >= 1.10

source-repository head
  type: git
  location: https://github.com/iokasimov/morphisms-functors.git

library
  build-depends: morphisms == 0.1.0
  exposed-modules:
    Control.Functor,
    Control.Variance,
    Control.Functor.Contravariant,
    Control.Functor.Covariant,
    Control.Functor.Invariant,
    Control.Functor.Covariant.Alternative,
    Control.Functor.Covariant.Applicative,
    Control.Functor.Covariant.Pointable,
    Control.Functor.Covariant.Extractable,
    Control.Functor.Covariant.Exclusive,
    Control.Functor.Covariant.Composition.Adjoint,
    Control.Functor.Covariant.Composition.Traversable,
    Control.Functor.Covariant.Composition.Distributive,
    Control.Functor.Covariant.Composition.Bindable,
    Control.Functor.Covariant.Composition.Extendable,
    Control.Functor.Covariant.Composition.Monad,
    Control.Functor.Covariant.Composition.Comonad,
    Control.Functor.Covariant.Transformation.Liftable,
    Control.Functor.Covariant.Transformation.Lowerable,
    Control.Functor.Polyvariant.Bicovariant,
    Control.Functor.Polyvariant.Bicontravariant,
    Control.Functor.Polyvariant.Tricovariant,
    Control.Functor.Polyvariant.Tricontravariant,
    Control.Functor.Polyvariant.Quadcovariant,
    Control.Functor.Polyvariant.Quadcontravariant,
    Control.Functor.Polyvariant.Orpvariant,
    Control.Functor.Polyvariant.Provariant,
    Data.Functor,
    Data.Functor.Arrow.Straight,
    Data.Functor.Arrow.Opposite,
    Data.Functor.Constant,
    Data.Functor.Identity,
    Data.Functor.Product,
    Data.Functor.Codensity,
    Data.Functor.Yoneda,
    Data.Functor.Composition.T,
    Data.Functor.Composition.TT,
    Data.Functor.Composition.TTT,
    Data.Functor.Extension.Kan,
    Data.Functor.Transformation.Natural
  default-extensions:
    DataKinds
    ConstraintKinds
    ExistentialQuantification
    FlexibleInstances
    KindSignatures
    LiberalTypeSynonyms
    MultiParamTypeClasses
    NoImplicitPrelude
    PackageImports
    PolyKinds
    RankNTypes
    TypeOperators
  default-language: Haskell2010
  ghc-options: -fno-warn-tabs