apiary-0.16.0: Simple and type safe web framework that can be automatically generate API documentation.
Data.Apiary.SList
data SList as whereSource
Constructors
Instances
type family All c as :: ConstraintSource
type family Apply as r Source
type Fn c a = Apply (Reverse c) aSource
apply :: Fn c r -> SList c -> rSource
apply' :: Apply xs r -> SList xs -> rSource
type family Rev l a :: [*]Source
type Reverse a = Rev a `[]`Source
sReverse :: SList as -> SList (Reverse as)Source