@hackage / acme-smuggler

Smuggle arbitrary values in arbitrary types

Latest1.1.1.0

Metadata

Last updated 2 Oct 2018, by benc
License BSD-3-Clause
Maintained by: Ben Clifford <benc@hawaga.org.uk>
Lottery factor: 0

Links

Installation

Add this line in your cabal file

Readme

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
Nothing