Modulepolysemy-1.9.2.0Haskell2010

Polysemy.Internal.Sing

datadata SList (l :: [a]) where

A singleton type used as a witness for type-level lists.

classclass KnownList (l :: [a]) where

A singleton list constructor class.

Instances2KnownList

KnownList '[]Defined in polysemy-1.9.2.0 · Polysemy.Internal.Sing
KnownList xs => KnownList (x ': xs)Defined in polysemy-1.9.2.0 · Polysemy.Internal.Sing

classclass ListOfLength (n :: Nat) (l :: [Effect]) where

A utility class for constructing a type-level list of a given length.

Instances2ListOfLength

(ListOfLength (n - 1) xs, l ~ (x ': xs)) => ListOfLength n lDefined in polysemy-1.9.2.0 · Polysemy.Internal.Sing
l ~ '[] => ListOfLength 0 lDefined in polysemy-1.9.2.0 · Polysemy.Internal.Sing