Kushiyaki

class ParseURL (url :: Symbol) (row :: Row Type)  where

Members

• parseURL :: SProxy url -> String -> Either String (Record row)

Instances

• (Parse url xs, ParseURLImpl xs () row) => ParseURL url row

class ParseURLImpl (xs :: FList) (from :: Row Type) (to :: Row Type) | xs -> from to where

Members

• parseURLImpl :: FProxy xs -> String -> Either String (Builder (Record from) (Record to))

Instances

• ParseURLImpl FNil () ()
• (ParseTypedParam s name ty, ReadParam ty, IsSymbol name, Cons name ty from' to, Lacks name from', ParseURLImpl tail from from') => ParseURLImpl (FCons (Var s) tail) from to
• (IsSymbol segment, ParseURLImpl tail from to) => ParseURLImpl (FCons (Lit segment) tail) from to

class ParseTypedParam (s :: Symbol) (name :: Symbol) (ty :: Type) | s -> name ty

Instances

• (Cons x xs s, ParseTypedParamImpl x xs "" name ty) => ParseTypedParam s name ty

class ParseTypedParamImpl (x :: Symbol) (xs :: Symbol) (acc :: Symbol) (name :: Symbol) (ty :: Type) | x xs acc -> name ty

Instances

• (Append acc x name) => ParseTypedParamImpl x "" acc name String
• (MatchTypeName tyName ty) => ParseTypedParamImpl ":" tyName name name ty
• (Cons y ys xs, Append acc x acc', ParseTypedParamImpl y ys acc' name ty) => ParseTypedParamImpl x xs acc name ty

class MatchTypeName (s :: Symbol) (ty :: Type) | s -> ty

Instances

• MatchTypeName "String" String
• MatchTypeName "Int" Int
• (Append "Can\'t match type annotation to type: " s msg, Fail (Text msg)) => MatchTypeName s ty

class ReadParam a  where

Members

• readParam :: String -> Either String a

Instances

• ReadParam String
• ReadParam Int