ghost-buster: Existential type utilites

[ bsd3, data, library ] [ Propose Tags ]

This package provides utilities for working with existential types.


[Skip to Readme]
Versions 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 Tue Aug 29 03:26:22 UTC 2017
Distributions LTSHaskell:0.1.1.0, NixOS:0.1.1.0, Stackage:0.1.1.0
Downloads 346 total (21 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


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.