Acme.Smuggler

Documentation

inj :: Typeable t => t -> a

fancy name for smuggle

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

fancy name for discover

smuggle :: Typeable t => t -> a

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

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

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