sop-extras

Type-level and data utilities that build upon SOP.

Modules

10 modules

Data.SOP.Counting20Type-level counting Intended for unqualified import.
Data.SOP.Functors3
Data.SOP.InPairs17Intended for qualified import import Data.SOP.InPairs (InPairs(..))
Data.SOP.Index20
Data.SOP.Lenses2
Data.SOP.Match15Intended for qualified import import Data.SOP.Match (Mismatch(..))
Data.SOP.NonEmpty12Type-level non-empty lists
Data.SOP.OptNP14NP with optional values Intended for qualified import import Data.SOP.OptNP (OptNP (..), ViewOptNP (..))
Data.SOP.Tails10Intended for qualified import import Data.SOP.Tails (Tails(..))
Data.SOP.Telescope22See Telescope Intended for qualified import import Data.SOP.Telescope (Telescope(..))

This package provides some more constructs that are not present on the sop-core package but built upon the same foundations.

6 packages