acme-smuggler-1.1.1.0: Smuggle arbitrary values in arbitrary types

Acme.Smuggler

inj :: Typeable t => t -> a Source #

fancy name for smuggle

prj :: Typeable t => a -> Maybe t Source #

fancy name for discover

smuggle :: Typeable t => t -> a Source #

discover :: Typeable t => a -> Maybe t Source #

mkId :: Typeable t => t -> a -> a Source #

All functions of type (a -> a) are id. This helper lets you create arbitrary id functions of type (a -> a) which smuggle through a supplied value

id