Data.Functor.Tagged

newtype Tagged :: forall k. k -> Type -> Typenewtype Tagged t a

Instances

• Newtype (Tagged t a) a
• (Show a) => Show (Tagged t a)
• Traversable (Tagged t)
• Foldable (Tagged t)
• Comonad (Tagged t)
• Extend (Tagged t)
• Monad (Tagged t)
• Bind (Tagged t)
• Applicative (Tagged t)
• Apply (Tagged t)
• Alt (Tagged t)
• Invariant (Tagged t)
• Functor (Tagged t)
• (CommutativeRing a) => CommutativeRing (Tagged t a)
• (Ring a) => Ring (Tagged t a)
• (EuclideanRing a) => EuclideanRing (Tagged t a)
• (Semiring a) => Semiring (Tagged t a)
• (Monoid a) => Monoid (Tagged t a)
• (Semigroup a) => Semigroup (Tagged t a)
• (BooleanAlgebra a) => BooleanAlgebra (Tagged t a)
• (HeytingAlgebra a) => HeytingAlgebra (Tagged t a)
• (Bounded a) => Bounded (Tagged t a)
• (Ord a) => Ord (Tagged t a)
• (Eq a) => Eq (Tagged t a)
• Profunctor Tagged

tagged :: forall t a. a -> Tagged t a

untagged :: forall t a. Tagged t a -> a