Module

Test.QuickCheck.Laws.Data.FunctorWithIndex

#checkFunctorWithIndex

checkFunctorWithIndex :: forall f i. FunctorWithIndex i f => Arbitrary (f A) => Coarbitrary i => Eq (f A) => Proxy2 f -> Effect Unit
  • Identity: mapWithIndex (\_ a → a) = identity
  • Composition: mapWithIndex f . mapWithIndex g = mapWithIndex (\i → f i <<< g i)

Modules