Portability | portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Tagged values
A
value is a value Tagged
s bb
with an attached phantom type s
.
This can be used in place of the more traditional but less safe idiom of
passing in an undefined value with the type, because unlike an (s -> b)
,
a
can't try to use the argument Tagged
s bs
as a real value.
Moreover, you don't have to rely on the compiler to inline away the extra argument, because the newtype is free
Monad m => Monad (TaggedT s m) | |
Functor m => Functor (TaggedT s m) | |
MonadFix m => MonadFix (TaggedT s m) | |
MonadPlus m => MonadPlus (TaggedT s m) | |
Applicative m => Applicative (TaggedT s m) | |
Foldable f => Foldable (TaggedT s f) | |
Traversable f => Traversable (TaggedT s f) | |
Alternative m => Alternative (TaggedT s m) | |
Eq (m b) => Eq (TaggedT s m b) | |
Ord (m b) => Ord (TaggedT s m b) | |
Read (m b) => Read (TaggedT s m b) | |
Show (m b) => Show (TaggedT s m b) |
retag :: TaggedT s m b -> TaggedT t m bSource
Some times you need to change the tag you have lying around.
Idiomatic usage is to make a new combinator for the relationship between the
tags that you want to enforce, and define that combinator using retag
.
data Succ n retagSucc :: Tagged n a -> Tagged (Succ n) a retagSucc = retag
asTaggedTypeOf :: s -> TaggedT s m b -> sSource
asTaggedTypeOf
is a type-restricted version of const
. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the tag of the second.