1 {-# LANGUAGE Rank2Types #-}
2 module Language.LOL.Symantic.AST where
4 import Data.Text (Text)
5 import qualified Data.Text as Text
9 -- | Abstract Syntax Tree.
14 -- * Type 'Error_Read'
20 read_safe :: Read a => Text -> Either Error_Read a
22 case reads $ Text.unpack t of
24 _ -> Left $ Error_Read t