apiary-0.16.0: Simple and type safe web framework that can be automatically generate API documentation.

Safe Haskell	None

Data.Apiary.SList

Documentation

data SList as whereSource

Constructors

SNil :: SList `[]`
::: :: a -> SList xs -> SList (a : xs)

Instances

All Show as => Show (SList as)

type family All c as :: Constraint Source

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