homepage: https://github.com/coot/free-category#readme
changelog-type: markdown
hash: 156fb51a161aefad2a6097928bab67c43fa5818100bb2c3c921fc0ecfc260fa7
test-bench-deps: {}
maintainer: profunctor@pm.me
synopsis: Free category
changelog: ! '# Changelog for free-category


  ## Version 0.0.1.0

  - free category (concrete and condensity transformed)

  - free arrows (concrete and condensity transformed)


  ## Unreleased changes

'
basic-deps:
  base: ! '>=4.9 && <5'
  free-algebras: ! '>=0.0.6.0'
all-versions:
- '0.0.1.0'
author: Marcin Szamotulski
latest: '0.0.1.0'
description-type: markdown
description: ! '# Free Category

  [![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg)](http://github.com/coot)

  [![Travis Build Status](https://travis-ci.org/coot/free-category.svg?branch=master)](https://travis-ci.org/coot/free-category)


  This package introduces variouos encodings of free categories in Haskell.


  Free categories are useful to model state machines in a simple yet type safe

  way and for that purpose `Kleisli` categroies are a very useful target which

  allows to include monadic computations.  Read more

  [here](https://coot.me/posts/finite-state-machines.html) on a simple example of

  a finite state machine encoded using a free category using a simple GADT.

  Another simple

  [example](https://github.com/coot/free-algebras/blob/master/examples/src/Control/Category/Free.hs).

'
license-name: MPL-2.0

Update from Hackage at 2018-11-03T16:59:39Z
Update from Hackage at 2018-11-03T16:59:39Z
