tagged-0.0: Provides a newtype wrapper for phantom types to avoid passing dummy arguments

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Data.Tagged

Description

 

Documentation

newtype Tagged a b Source

Constructors

Tagged 

Fields

unTagged :: b
 

Instances

Monad (Tagged a) 
Functor (Tagged a) 
Applicative (Tagged a) 
Eq b => Eq (Tagged a b) 
Ord b => Ord (Tagged a b) 
Read b => Read (Tagged a b) 
Show b => Show (Tagged a b) 

retag :: Tagged f b -> Tagged g bSource