Node.Commando

class RLCommando (rl :: RowList) (row :: Row Type) (a :: Type) | rl -> row where

Members

• rlCommando :: RLProxy rl -> Record row -> List String -> Maybe { cmd :: String, opt :: Optlicative a }

Instances

• RLCommando Nil () a
• (IsSymbol k, RLCommando tail rowtail a, RLCommando list' row' a, Cons k (Opt a row') rowtail row, Lacks k rowtail, RowToList rowtail tail, RowToList row (Cons k (Opt a row') tail), RowToList row' list') => RLCommando (Cons k (Opt a row') tail) row a

class Commando (row :: Row Type) a  where

Members

• commando :: Record row -> List String -> Maybe { cmd :: String, opt :: Optlicative a }

Instances

• (RowToList row list, RLCommando list row a) => Commando row a

data Opt (a :: Type) (row :: Row Type)

Constructors

• Opt (Optlicative a) (Record row)

Instances

• (IsSymbol k, RLCommando tail rowtail a, RLCommando list' row' a, Cons k (Opt a row') rowtail row, Lacks k rowtail, RowToList rowtail tail, RowToList row (Cons k (Opt a row') tail), RowToList row' list') => RLCommando (Cons k (Opt a row') tail) row a

endOpt :: forall a. Optlicative a -> Opt a ()