Module

Record.ExtraSrghma.SList.List

Package: purescript-record-extra-srghma
Repository: srghma/purescript-record-extra-srghma

#SListToLS Source

class SListToLS :: SList -> Constraintclass SListToLS (slist :: SList)  where

Members

slistToLS :: List String

Instances

SListToLS SNil
(IsSymbol name, SListToLS tail) => SListToLS (SCons name tail)

#SListToNELS Source

class SListToNELS :: SList -> Constraintclass SListToNELS (slist :: SList)  where

Members

slistToNELS :: NonEmpty List String

Instances

(IsSymbol name, SListToLS tail) => SListToNELS (SCons name tail)

#SListToLNES Source

class SListToLNES :: SList -> Constraintclass SListToLNES (slist :: SList)  where

Members

slistToLNES :: List NonEmptyString

Instances

SListToLNES SNil
(IsSymbol name, MakeNonEmpty name, SListToLNES tail) => SListToLNES (SCons name tail)

#SListToNELNES Source

class SListToNELNES :: SList -> Constraintclass SListToNELNES (slist :: SList)  where

Members

slistToNELNES :: NonEmpty List NonEmptyString

Instances

(IsSymbol name, MakeNonEmpty name, SListToLNES tail) => SListToNELNES (SCons name tail)