package Ġarrow . opt ics . instances Ċ Ċ import Ġarrow . core . Option Ċ import Ġarrow . core . extensions . eq Ċ import Ġarrow . core . extensions . option . eq . eq Ċ import Ġarrow . core . List K Ċ import Ġarrow . core . Map K Ċ import Ġarrow . core . Non Empty List Ċ import Ġarrow . core . Sequence K Ċ import Ġarrow . core . extensions . list k . eq . eq Ċ import Ġarrow . core . extensions . sequence k . eq . eq Ċ import Ġarrow . opt ics . extensions . List Filter Index Ċ import Ġarrow . opt ics . extensions . Map Filter Index Ċ import Ġarrow . opt ics . extensions . filter Index Ċ import Ġarrow . opt ics . extensions . list k . filter Index . filter Index Ċ import Ġarrow . opt ics . extensions . map k . filter Index . filter Index Ċ import Ġarrow . opt ics . extensions . none mpty list . filter Index . filter Index Ċ import Ġarrow . opt ics . extensions . sequence k . filter Index . filter Index Ċ import Ġarrow . test . Unit Spec Ċ import Ġarrow . test . generators . char Ċ import Ġarrow . test . generators . function A To B Ċ import Ġarrow . test . generators . int Small Ċ import Ġarrow . test . generators . list K Ċ import Ġarrow . test . generators . map K Ċ import Ġarrow . test . generators . non Empty List Ċ import Ġarrow . test . generators . sequence K Ċ import Ġarrow . test . l aws . Traversal L aws Ċ import Ġarrow . type classes . Eq Ċ import Ġio . kot lint est . properties . Gen Ċ import Ġio . kot lint est . runner . junit 4 . Kotlin TestRunner Ċ import Ġorg . junit . runner . RunWith Ċ Ċ @ RunWith ( Kotlin TestRunner :: class ) Ċ class ĠFilter Index Instance Test Ġ: ĠUnit Spec () Ġ{ ĊĊĠ Ġinit Ġ{ ĊĠĠĠ Ġtest L aws ( Traversal L aws . l aws ( ĊĠĠĠĠĠ Ġtraversal Ġ= ĠList K . filter Index < String >(). filter Ġ{ Ġtrue Ġ}, ĊĠĠĠĠĠ Ġa Gen Ġ= ĠGen . list K ( Gen . string ()), ĊĠĠĠĠĠ Ġb Gen Ġ= ĠGen . string (), ĊĠĠĠĠĠ Ġfunc Gen Ġ= ĠGen . function A To B ( Gen . string ()), ĊĠĠĠĠĠ ĠE QA Ġ= ĠEq . any (), ĊĠĠĠĠĠ ĠE Q List B Ġ= ĠEq . any (), ĊĠĠĠĠĠ ĠE Q Option B Ġ= ĠEq . any () ĊĠĠĠ Ġ)) ĊĊĠĠĠ Ġtest L aws ( Traversal L aws . l aws ( ĊĠĠĠĠĠ Ġtraversal Ġ= ĠList Filter Index < String >(). filter Ġ{ Ġtrue Ġ}, ĊĠĠĠĠĠ Ġa Gen Ġ= ĠGen . list ( Gen . string ()), ĊĠĠĠĠĠ Ġb Gen Ġ= ĠGen . string (), ĊĠĠĠĠĠ Ġfunc Gen Ġ= ĠGen . function A To B ( Gen . string ()), ĊĠĠĠĠĠ ĠE QA Ġ= ĠEq . any (), ĊĠĠĠĠĠ ĠE Q List B Ġ= ĠEq . any (), ĊĠĠĠĠĠ ĠE Q Option B Ġ= ĠEq . any () ĊĠĠĠ Ġ)) ĊĊĠĠĠ Ġtest L aws ( Traversal L aws . l aws ( ĊĠĠĠĠĠ Ġtraversal Ġ= ĠNon Empty List . filter Index < String >(). filter Ġ{ Ġtrue Ġ}, ĊĠĠĠĠĠ Ġa Gen Ġ= ĠGen . non Empty List ( Gen . string ()), ĊĠĠĠĠĠ Ġb Gen Ġ= ĠGen . string (), ĊĠĠĠĠĠ Ġfunc Gen Ġ= ĠGen . function A To B ( Gen . string ()), ĊĠĠĠĠĠ ĠE QA Ġ= ĠEq . any (), ĊĠĠĠĠĠ ĠE Q Option B Ġ= ĠOption . eq ( Eq . any ()), ĊĠĠĠĠĠ ĠE Q List B Ġ= ĠList K . eq ( Eq . any ()) ĊĠĠĠ Ġ)) ĊĊĠĠĠ Ġtest L aws ( Traversal L aws . l aws ( ĊĠĠĠĠĠ Ġtraversal Ġ= ĠSequence K . filter Index < Char >(). filter Ġ{ Ġtrue Ġ}, ĊĠĠĠĠĠ Ġa Gen Ġ= ĠGen . sequence K ( Gen . char ()), ĊĠĠĠĠĠ Ġb Gen Ġ= ĠGen . char (), ĊĠĠĠĠĠ Ġfunc Gen Ġ= ĠGen . function A To B ( Gen . char ()), ĊĠĠĠĠĠ ĠE QA Ġ= ĠSequence K . eq ( Char . eq ()), ĊĠĠĠĠĠ ĠE Q Option B Ġ= ĠOption . eq ( Eq . any ()), ĊĠĠĠĠĠ ĠE Q List B Ġ= ĠList K . eq ( Eq . any ()) ĊĠĠĠ Ġ)) ĊĊĠĠĠ Ġtest L aws ( Traversal L aws . l aws ( ĊĠĠĠĠĠ Ġtraversal Ġ= ĠMap K . filter Index < Char , ĠInt >(). filter Ġ{ Ġtrue Ġ}, ĊĠĠĠĠĠ Ġa Gen Ġ= ĠGen . map K ( Gen . char (), ĠGen . int Small ()), ĊĠĠĠĠĠ Ġb Gen Ġ= ĠGen . int (), ĊĠĠĠĠĠ Ġfunc Gen Ġ= ĠGen . function A To B ( Gen . int ()), ĊĠĠĠĠĠ ĠE QA Ġ= ĠEq . any (), ĊĠĠĠĠĠ ĠE Q Option B Ġ= ĠOption . eq ( Eq . any ()), ĊĠĠĠĠĠ ĠE Q List B Ġ= ĠList K . eq ( Eq . any ()) ĊĠĠĠ Ġ)) ĊĊĠĠĠ Ġtest L aws ( Traversal L aws . l aws ( ĊĠĠĠĠĠ Ġtraversal Ġ= ĠMap Filter Index < Char , ĠInt >(). filter Ġ{ Ġtrue Ġ}, ĊĠĠĠĠĠ Ġa Gen Ġ= ĠGen . map ( Gen . char (), ĠGen . int Small ()), ĊĠĠĠĠĠ Ġb Gen Ġ= ĠGen . int (), ĊĠĠĠĠĠ Ġfunc Gen Ġ= ĠGen . function A To B ( Gen . int ()), ĊĠĠĠĠĠ ĠE QA Ġ= ĠEq . any (), ĊĠĠĠĠĠ ĠE Q Option B Ġ= ĠOption . eq ( Eq . any ()), ĊĠĠĠĠĠ ĠE Q List B Ġ= ĠList K . eq ( Eq . any ()) ĊĠĠĠ Ġ)) ĊĊĠĠĠ Ġtest L aws ( Traversal L aws . l aws ( ĊĠĠĠĠĠ Ġtraversal Ġ= ĠString . filter Index (). filter Ġ{ Ġtrue Ġ}, ĊĠĠĠĠĠ Ġa Gen Ġ= ĠGen . string (), ĊĠĠĠĠĠ Ġb Gen Ġ= ĠGen . char (), ĊĠĠĠĠĠ Ġfunc Gen Ġ= ĠGen . function A To B ( Gen . char ()), ĊĠĠĠĠĠ ĠE QA Ġ= ĠEq . any (), ĊĠĠĠĠĠ ĠE Q Option B Ġ= ĠOption . eq ( Eq . any ()), ĊĠĠĠĠĠ ĠE Q List B Ġ= ĠList K . eq ( Eq . any ()) ĊĠĠĠ Ġ)) ĊĠ Ġ} Ċ } Ċ