Commit 0f926c3b6e3aaa9917c14677136d08448982281f - adnot

remove the symbol helpers Getty Ritter 3 years ago

1 changed file(s) with 1 addition(s) and 6 deletion(s). Collapse all Expand all

-6

Data/Adnot/Class.hs less more

256	256	Integer i -> k (fromIntegral i)
257	257	_ -> Left ("Expected double in " ++ n)
258	258
259		withSymbol :: String -> (T.Text -> Parser a) -> Value -> Parser a
260		withSymbol n k val = case val of
261		Symbol s -> k s
262		_ -> Left ("Expected symbol in " ++ n)
263
264	259	withString :: String -> (T.Text -> Parser a) -> Value -> Parser a
265	260	withString n k val = case val of
266	261	String s -> k s

414	409	go _ _ = Left "Invalid Either"
415	410
416	411	instance FromAdnot Bool where
417		parseAdnot = withS~~ymbol~~ "Bool" go
	412	parseAdnot = withString "Bool" go
418	413	where go "True" = return True
419	414	go "False" = return False
420	415	go _ = Left "Invalid Bool"