Safe Haskell	Safe-Inferred
Language	GHC2021

Singleraeh.List

Synopsis

data SList sa as where
- SCons :: sa a -> SList sa as -> SList sa (a : as)
- SNil :: SList sa '[]
demoteSList :: forall da sa as. (forall a. sa a -> da) -> SList sa as -> [da]

Documentation

data SList sa as where Source #

Singleton list.

Constructors

SCons :: sa a -> SList sa as -> SList sa (a : as)
SNil :: SList sa '[]

demoteSList :: forall da sa as. (forall a. sa a -> da) -> SList sa as -> [da] Source #