Data.Identity

newtype Identity a

Constructors

• Identity a

Instances

• Newtype (Identity a) _
• (Eq a) => Eq (Identity a)
• (Ord a) => Ord (Identity a)
• (Bounded a) => Bounded (Identity a)
• (HeytingAlgebra a) => HeytingAlgebra (Identity a)
• (BooleanAlgebra a) => BooleanAlgebra (Identity a)
• (Semigroup a) => Semigroup (Identity a)
• (Monoid a) => Monoid (Identity a)
• (Semiring a) => Semiring (Identity a)
• (EuclideanRing a) => EuclideanRing (Identity a)
• (Ring a) => Ring (Identity a)
• (CommutativeRing a) => CommutativeRing (Identity a)
• (Lazy a) => Lazy (Identity a)
• (Show a) => Show (Identity a)
• Eq1 Identity
• Ord1 Identity
• Functor Identity
• FunctorWithIndex Unit Identity
• Invariant Identity
• Alt Identity
• Apply Identity
• Applicative Identity
• Bind Identity
• Monad Identity
• Extend Identity
• Comonad Identity
• Foldable Identity
• Foldable1 Identity
• FoldableWithIndex Unit Identity
• Traversable Identity
• Traversable1 Identity
• TraversableWithIndex Unit Identity