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

Safe HaskellNone

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 Fn as r Source

type family Snoc as a :: [*]Source

type family All c as :: ConstraintSource

apply :: Fn xs r -> SList xs -> rSource

sSnoc :: SList as -> a -> SList (Snoc as a)Source

type family Rev l a :: [*]Source

type Reverse a = Rev a `[]`Source

sReverse :: SList as -> SList (Reverse as)Source