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]

This package provides utilities for working with existential types.


[Skip to ReadMe]

Properties

Versions0.1.0.0, 0.1.1.0
Change logNone available
Dependenciesbase (>=4.7 && <5) [details]
LicenseBSD-3-Clause
Copyright2017 Sam Quinn
AuthorSam Quinn
Maintainerlazersmoke@gmail.com
CategoryData
Home pagehttps://github.com/Lazersmoke/ghost-buster#readme
Source repositoryhead: git clone https://github.com/Lazersmoke/ghost-buster
UploadedMon Aug 28 03:13:05 UTC 2017 by lazersmoke

Modules

Downloads

Maintainers' 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.