Module

Record.ExtraSrghma.SList.Array

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

#SListToAS Source

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

Members

slistToAS :: Array String

Instances

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

#SListToNEAS Source

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

Members

slistToNEAS :: NonEmptyArray String

Instances

(IsSymbol name, SListToAS tail) => SListToNEAS (SCons name tail)

#SListToANES Source

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

Members

slistToANES :: Array NonEmptyString

Instances

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

#SListToNEANES Source

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

Members

slistToNEANES :: NonEmptyArray NonEmptyString

Instances

(IsSymbol name, MakeNonEmpty name, SListToANES tail) => SListToNEANES (SCons name tail)