Polyform.Field.Generic.Option

data Nil

"Custom sum" type (heavly inspired by (or ripped from) purescript-variant internals) which allows you to easily provide options (together with order) for you Choice/Multichoice fields "without" defining dedicated type.

Instances

• Eq (Option Nil)
• (IsSymbol name, SingleChoice tail) => SingleChoice (Option (Cons name Nil))
• (IsSymbol name, Cons name Boolean () row, Lacks name ()) => MultiChoice (Option (Cons name Nil)) row

data Cons (s :: Symbol) tail

Instances

• (IsSymbol s) => DropOpt s (Cons s tail) tail
• (IsSymbol s, DropOpt s tail tail') => DropOpt s (Cons head tail) (Cons head tail')
• (IsSymbol n) => Elem n (Cons n tail)
• (Elem n tail, IsSymbol n) => Elem n (Cons head tail)
• (IsSymbol head, Eq (Option tail)) => Eq (Option (Cons head tail))
• (IsSymbol name, SingleChoice tail) => SingleChoice (Option (Cons name Nil))
• (IsSymbol name, SingleChoice (Option tail)) => SingleChoice (Option (Cons name tail))
• (IsSymbol name, Cons name Boolean () row, Lacks name ()) => MultiChoice (Option (Cons name Nil)) row
• (IsSymbol name, MultiChoice (Option tail) br, Cons name Boolean br row, Lacks name br) => MultiChoice (Option (Cons name tail)) row

Operator alias for Polyform.Field.Generic.Option.Cons (right-associative / precedence 8)

class DropOpt (s :: Symbol) opts opts' | s opts -> opts'

Instances

• (IsSymbol s) => DropOpt s (Cons s tail) tail
• (IsSymbol s, DropOpt s tail tail') => DropOpt s (Cons head tail) (Cons head tail')

class Elem (n :: Symbol) l 

Instances

• (IsSymbol n) => Elem n (Cons n tail)
• (Elem n tail, IsSymbol n) => Elem n (Cons head tail)

option :: forall opt opts. Elem opt opts => IsSymbol opt => SProxy opt -> Option opts

data Option :: Type -> Type

Option is our symbol list carrier

Instances

• Eq (Option Nil)
• (IsSymbol head, Eq (Option tail)) => Eq (Option (Cons head tail))
• (IsSymbol name, SingleChoice tail) => SingleChoice (Option (Cons name Nil))
• (IsSymbol name, SingleChoice (Option tail)) => SingleChoice (Option (Cons name tail))
• (IsSymbol name, Cons name Boolean () row, Lacks name ()) => MultiChoice (Option (Cons name Nil)) row
• (IsSymbol name, MultiChoice (Option tail) br, Cons name Boolean br row, Lacks name br) => MultiChoice (Option (Cons name tail)) row

pop :: forall f opts opts' sym. Alternative f => IsSymbol sym => DropOpt sym opts opts' => SProxy sym -> Option opts -> f (Option opts')

prepend :: forall opts sym. SProxy sym -> Option opts -> Option (sym :- opts)

case_ :: forall a. Option Nil -> a

on :: forall a opts opts' sym. IsSymbol sym => DropOpt sym opts opts' => SProxy sym -> a -> (Option opts' -> a) -> Option opts -> a

prj :: forall a opts opts' f sym. IsSymbol sym => DropOpt sym opts opts' => Alternative f => SProxy sym -> Option opts -> f a

choice :: forall opt. SingleChoice (Option opt) => Option opt -> String

choices :: forall opt. SingleChoice (Option opt) => Proxy opt -> List (Tuple String (Option opt))

choiceParser :: forall m opt. Monad m => SingleChoice (Option opt) => Proxy opt -> Validation m String String (Option opt)

multiChoiceParser :: forall m opt row. Monad m => MultiChoice (Option opt) row => Proxy opt -> Validation m (Array String) (Array String) { checkChoice :: Option opt -> Boolean, product :: {  | row } }