Data.Apiary.SList

Documentation

data SList as where

Constructors

SNil :: SList `[]`

::: :: a -> SList xs -> SList (a : xs)

Instances

All Show as => Show (SList as)

type family Fn as r

type family Snoc as a :: [*]

type family All c as :: Constraint

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

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

type family Rev l a :: [*]

type Reverse a = Rev a `[]`

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