Modulestrict-sop-core-0.1.4.0Haskell2010

Data.SOP.Strict.NS

Strict variant of NS

NS

5 declarations

datadata NS (f :: k -> Type) (xs :: [k]) where

Instances14HTrans, HAp, HCollapse, HExpand, HSequence, Eq, …

HTrans NS NSDefined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
HAp NSDefined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
HCollapse NSDefined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
HExpand NSDefined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
HSequence NSDefined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
All (Compose Eq f) xs => Eq (NS f xs)Defined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
(All (Compose Eq f) xs, All (Compose Ord f) xs) => Ord (NS f xs)Defined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
All (Compose Show f) xs => Show (NS f xs)Defined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
All (Compose NoThunks f) xs => NoThunks (NS f xs)Defined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
type CollapseTo NS a = aDefined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
type Prod NS = NPDefined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
type AllN NS c = All cDefined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
type Same NS = NSDefined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS
type SListIN NS = SListIDefined in strict-sop-core-0.1.4.0 · Data.SOP.Strict.NS

valueindex_NS :: NS f xs -> Int

valuepartition_NS :: SListI xs => [NS f xs] -> NP ([] :.: f) xs

valuesequence_NS' :: Functor f => NS (f :.: g) xs -> f (NS g xs)

Version of sequence_NS that requires only Functor

The version in the library requires Applicative, which is unnecessary.

valueunZ :: NS f '[x] -> f x

2 declarations

typetype Injection (f :: k -> Type) (xs :: [k]) = f -.-> K (NS f xs)

valueinjections :: SListI xs => NP (Injection f xs) xs

7 declarations

valueexpand_NS :: SListI xs => (forall (x :: k). f x) -> NS f xs -> NP f xs

valuecexpand_NS

valueap_NS :: NP (f -.-> g) xs -> NS f xs -> NS g xs

valuecollapse_NS :: NS (K a) xs -> a

valuectraverse'_NS

valuetrans_NS

valuecoerce_NS :: AllZip (LiftedCoercible f g) xs ys => NS f xs -> NS g ys