Module

Test.Abides.Control.Comonad

Package
purescript-abides
Repository
athanclark/purescript-abides

#leftIdentity Source

leftIdentity :: forall a w. Comonad w => Eq (w a) => w a -> Boolean

#rightIdentity Source

rightIdentity :: forall a w. Comonad w => Eq a => (w a -> a) -> w a -> Boolean

#associative Source

associative :: forall c b a w. Comonad w => Eq (w c) => (w b -> c) -> (w a -> b) -> w a -> Boolean
Modules
Test.Abides.Control.Alt
Test.Abides.Control.Alternative
Test.Abides.Control.Applicative
Test.Abides.Control.Apply
Test.Abides.Control.Bind
Test.Abides.Control.Category
Test.Abides.Control.Comonad
Test.Abides.Control.Extend
Test.Abides.Control.Monad
Test.Abides.Control.MonadPlus
Test.Abides.Control.MonadZero
Test.Abides.Control.Plus
Test.Abides.Control.Semigroupoid
Test.Abides.Data.BooleaneanAlgebra
Test.Abides.Data.Bounded
Test.Abides.Data.BoundedEnum
Test.Abides.Data.CommutativeRing
Test.Abides.Data.DivisionRing
Test.Abides.Data.Eq
Test.Abides.Data.EuclideanRing
Test.Abides.Data.Foldable
Test.Abides.Data.Functor
Test.Abides.Data.HeytingAlgebra
Test.Abides.Data.Monoid
Test.Abides.Data.Ord
Test.Abides.Data.Ring
Test.Abides.Data.Semigroup
Test.Abides.Data.Semiring
Test.Abides.Properties