Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Internal.Sing

Documentation

data SList l where Source #

Constructors

SEnd :: SList '[]
SCons :: SList xs -> SList (x ': xs)

Methods

Instances details

KnownList ('[] :: [a]) Source #
Instance details Defined in Polysemy.Internal.Sing Methods singList :: SList '[] Source #
KnownList xs => KnownList (x ': xs :: [a]) Source #
Instance details Defined in Polysemy.Internal.Sing Methods singList :: SList (x ': xs) Source #

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

Methods

Instances details

(ListOfLength (n - 1) xs, l ~ (x ': xs)) => ListOfLength n l Source #
Instance details Defined in Polysemy.Internal.Sing Methods listOfLength :: SList l Source #
l ~ ('[] :: [Effect]) => ListOfLength 0 l Source #
Instance details Defined in Polysemy.Internal.Sing Methods listOfLength :: SList l Source #