haskell-admin-core-1.0.0.0: Core Modules of Haskell Admin
Safe HaskellNone
LanguageHaskell2010

Admin.Components.Internal.TypeLevel

Documentation

type family NamesOf (xs :: [*]) where ... Source #

Equations

NamesOf '[] = '[] 
NamesOf (x ': xs) = NameOf x ': NamesOf xs 

type family NameOf (x :: *) where ... Source #

Equations

NameOf (Component name api) = name :: Symbol 

type family ApisOf (xs :: [*]) where ... Source #

Equations

ApisOf (x ': '[]) = ApiOf x 
ApisOf (x ': xs) = ApiOf x :<|> ApisOf xs 

type family ApiOf (x :: *) where ... Source #

Equations

ApiOf (Component (name :: Symbol) api) = name :> api 

class ManySymbolVal (xs :: [Symbol]) where Source #

Methods

manySymbolVal :: proxy xs -> [String] Source #

Instances

Instances details
ManySymbolVal ('[] :: [Symbol]) Source # 
Instance details

Defined in Admin.Components.Internal.TypeLevel

Methods

manySymbolVal :: proxy '[] -> [String] Source #

(KnownSymbol a, ManySymbolVal as) => ManySymbolVal (a ': as) Source # 
Instance details

Defined in Admin.Components.Internal.TypeLevel

Methods

manySymbolVal :: proxy (a ': as) -> [String] Source #