Polysemy.Internal.Sing

Documentation

data SList l where

Constructors

SEnd :: SList '[]

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

class KnownList l where

Methods

singList :: SList l

Instances

KnownList ('[] :: [a])

Defined in Polysemy.Internal.Sing

Methods

singList :: SList '[]

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

Defined in Polysemy.Internal.Sing

Methods

singList :: SList (x ': xs)

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

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