polysemy-1.8.0.0: Higher-order, low-boilerplate free monads.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Polysemy.Internal.Sing

Documentation

data SList l where Source #

Constructors

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

class KnownList l where Source #

Methods

singList :: SList l Source #

Instances

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 #

Instances

Instances details
(ListOfLength (n - 1) xs, l ~ (x ': xs)) => ListOfLength n l Source # 
Instance details

Defined in Polysemy.Internal.Sing

l ~ ('[] :: [Effect]) => ListOfLength 0 l Source # 
Instance details

Defined in Polysemy.Internal.Sing