name:                 free
version:              5.2
visibility:           public
id:                   free-5.2-80KVzMloHSZ6giRVM2rsod
key:                  free-5.2-80KVzMloHSZ6giRVM2rsod
license:              BSD-3-Clause
copyright:            Copyright (C) 2008-2015 Edward A. Kmett
maintainer:           Edward A. Kmett <ekmett@gmail.com>
author:               Edward A. Kmett
stability:            provisional
homepage:             http://github.com/ekmett/free/
synopsis:             Monads for free
description:
    Free monads are useful for many tree-like structures and domain specific languages.

    If @f@ is a 'Functor' then the free 'Monad' on @f@ is the type
    of trees whose nodes are labeled with the constructors of @f@. The word
    \"free\" is used in the sense of \"unrestricted\" rather than \"zero-cost\":
    @Free f@ makes no constraining assumptions beyond those given by @f@ and the
    definition of 'Monad'. As used here it is a standard term from the
    mathematical theory of adjoint functors.

    Cofree comonads are dual to free monads. They provide convenient ways to talk
    about branching streams and rose-trees, and can be used to annotate syntax
    trees. The cofree comonad can be seen as a stream parameterized by a 'Functor'
    that controls its branching factor.

    More information on free monads, including examples, can be found in the
    following blog posts:
    <https://ekmett.github.io/reader/2008/monads-for-free/>
    <https://ekmett.github.io/reader/2011/free-monads-for-less/>

category:             Control, Monads
abi:                  a35d07fa8db13f16727f1e4da38b66d7
exposed:              True
exposed-modules:
    Control.Alternative.Free Control.Alternative.Free.Final
    Control.Applicative.Free Control.Applicative.Free.Fast
    Control.Applicative.Free.Final Control.Applicative.Trans.Free
    Control.Comonad.Cofree Control.Comonad.Cofree.Class
    Control.Comonad.Trans.Cofree Control.Comonad.Trans.Coiter
    Control.Monad.Free Control.Monad.Free.Ap Control.Monad.Free.Church
    Control.Monad.Free.Class Control.Monad.Free.TH
    Control.Monad.Trans.Free Control.Monad.Trans.Free.Ap
    Control.Monad.Trans.Free.Church Control.Monad.Trans.Iter

import-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/free-5.2-80KVzMloHSZ6giRVM2rsod

library-dirs:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/free-5.2-80KVzMloHSZ6giRVM2rsod

library-dirs-static:
    /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1/free-5.2-80KVzMloHSZ6giRVM2rsod

dynamic-library-dirs: /usr/pkg/lib/aarch64-netbsd-ghc-9.10.1
data-dir:             /usr/pkg/share/aarch64-netbsd-ghc-9.10.1/free-5.2
hs-libraries:         HSfree-5.2-80KVzMloHSZ6giRVM2rsod
depends:
    base-4.20.0.0-inplace comonad-5.0.9-9wlpd2BQZP7FRm6eBqgcQv
    containers-0.7-inplace distributive-0.6.2.1-8JXFzRgjEQkAe7JAKyvZsu
    exceptions-0.10.7-inplace
    indexed-traversable-0.1.4-GrkXVlduNJU6HwOKwrPCNE mtl-2.3.1-inplace
    profunctors-5.6.2-3KBXYSh7PL18SNKDRMQ4vU
    semigroupoids-6.0.1-BOacROJJQOA5Lsqd9Ee4fo
    template-haskell-2.22.0.0-inplace
    th-abstraction-0.7.1.0-26pbdb2QUSCHn0B9SqZNC2
    transformers-0.6.1.1-inplace
    transformers-base-0.4.6-3lMhUTO8uKN4hkNEZymX1H

haddock-interfaces:
    /usr/pkg/share/doc/aarch64-netbsd-ghc-9.10.1/free-5.2/html/free.haddock

haddock-html:         /usr/pkg/share/doc/aarch64-netbsd-ghc-9.10.1/free-5.2/html
