acme-smuggler: Smuggle arbitrary values in arbitrary types

[ acme, bsd3, library ] [ Propose Tags ]

Please see

[Skip to Readme]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS],
Dependencies base (>=4.7 && <5) [details]
License BSD-3-Clause
Copyright 2016-2018 Ben Clifford
Author Ben Clifford <>
Maintainer Ben Clifford <>
Category ACME
Home page
Source repo head: git clone
Uploaded by benc at 2018-10-02T09:57:31Z
Distributions NixOS:
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1724 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-10-02 [all 1 reports]

Readme for acme-smuggler-

[back to package description]

ACME Smuggler

The () type has only one value, also called () with no internal structure.

Nevertheless, acme-smuggler allows you to smuggle arbitrary values into () and discover them later.

And! Void has no values at all, but acme-smuggler lets you smuggle values into Void. Or into any other Haskell type.

> x = smuggle "hello"
> :t x
x :: ()

> y = smuggle (7 :: Integer)
> :t y
y :: ()

> discover x :: Maybe String
Just "hello"
> discover y :: Maybe Integer
Just 7
> discover x :: Maybe Integer