ghost-buster: Existential type utilites

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

This package provides utilities for working with existential types.


[Skip to Readme]

Properties

Versions 0.1.0.0, 0.1.1.0
Change log None available
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-28T03:13:05Z

Modules

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for ghost-buster-0.1.0.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.