Polysemy.Internal.Sing

Documentation

data SList l where

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

Constructors

SEnd :: SList '[]

SCons :: SList xs -> SList (x ': xs)

class KnownList l where

A singleton list constructor class.

Methods

singList :: SList l

Instances

KnownList ('[] :: [k])

Defined in Polysemy.Internal.Sing

Methods

singList :: SList '[]

KnownList xs => KnownList (x ': xs :: [k])

Defined in Polysemy.Internal.Sing

Methods

singList :: SList (x ': xs)

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

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

Methods

listOfLength :: SList l

Instances

(ListOfLength (n - 1) xs, l ~ (x ': xs)) => ListOfLength n l

Defined in Polysemy.Internal.Sing

Methods

listOfLength :: SList l

l ~ ('[] :: [Effect]) => ListOfLength 0 l

Defined in Polysemy.Internal.Sing

Methods

listOfLength :: SList l