Module

Test.Abides.Data.Functor

Package
purescript-abides
Repository
athanclark/purescript-abides

#identity' Source

identity' :: forall a f. Functor f => Eq (f a) => f a -> Boolean

map id x == x?

#composition Source

composition :: forall a f. Functor f => Eq (f a) => (a -> a) -> (a -> a) -> f a -> Boolean

map (f . g) x == map f (map g x)?

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