homepage: ''
changelog-type: ''
hash: 04917d6a4e30daf31197f00e9da8db91eee167a092e732869e775f013baab901
test-bench-deps: {}
maintainer: Gabriel439@gmail.com
synopsis: Indexed Types
changelog: ''
basic-deps:
  base: ! '>=4 && <5'
all-versions:
- '1.0.0'
- '1.0.1'
- '1.0.2'
author: Gabriel Gonzalez
latest: '1.0.2'
description-type: haddock
description: ! 'This library implements indexed types in the style of Conor McBride,

  described in the functional pearl \"Kleisli arrows of outrageous fortune\",

  following his presentation closely.


  This provides a more general form of indexed monad than the one people are

  most commonly familiar with.'
license-name: BSD3

homepage: ''
changelog-type: ''
hash: 97808339bd2ac8a5c79ed99e716e2e8e941234421fde3930b370e0bbc734b063
test-bench-deps: {}
maintainer: Gabriel439@gmail.com
synopsis: Indexed Types
changelog: ''
basic-deps:
  base: ! '>=4 && <4.8'
all-versions:
- '1.0.0'
- '1.0.1'
- '1.0.2'
author: Gabriel Gonzalez
latest: '1.0.2'
description-type: haddock
description: ! 'This library implements indexed types in the style of Conor McBride,

  described in the functional pearl \"Kleisli arrows of outrageous fortune\",

  following his presentation closely.


  This provides a more general form of indexed monad than the one people are

  most commonly familiar with.'
license-name: BSD3

Update from Hackage at 2015-07-08T15:20:20+0000
Update from Hackage at 2015-07-08T15:20:20+0000
