Sijidou

matchString :: forall a rl r. RowToList r rl => MatchString rl r a => Record r -> String -> Maybe a

Match a record of functions on a string, where if the string is equal to the reflected symbol, the function will be called with the symbol proxy. The functions must have the same return type of a.

class MatchString (rl :: RowList) (r :: Row Type) a | rl -> r a where

Members

• matchStringImpl :: RLProxy rl -> Record r -> String -> Maybe a

Instances

• MatchString Nil r a
• (IsSymbol name, Cons name (SProxy name -> a) r' r, MatchString tail r a) => MatchString (Cons name ty tail) r a