Module
Data.Functor.Tagged
- Package
- purescript-tagged
- Repository
- LiamGoodacre/purescript-tagged
#Tagged Source
newtype 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
- Modules
- Data.
Functor. Tagged