ghost-buster: Existential type utilites

[ bsd3, data, library ] [ Propose Tags ]

This package provides utilities for working with existential types.


[Skip to Readme]

Modules

[Index]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.1.0
Dependencies base (>=4.7 && <5) [details]
License BSD-3-Clause
Copyright 2017 Sam Quinn
Author Sam Quinn
Maintainer lazersmoke@gmail.com
Category Data
Home page https://github.com/Lazersmoke/ghost-buster#readme
Source repo head: git clone https://github.com/Lazersmoke/ghost-buster
Uploaded by lazersmoke at 2017-08-29T03:26:22Z
Distributions LTSHaskell:0.1.1.0, NixOS:0.1.1.0, Stackage:0.1.1.0
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1467 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for ghost-buster-0.1.1.0

[back to package description]

Ghost Buster

This package provides an easier way to work with existential data types. Normally, GHC will reject types with deeply nested foralls in them. This package uses a data contructor to hide that away, so you can nest as deeply as you like.

Example code is in the examples folder.