camfort-1.2.0: CamFort - Cambridge Fortran infrastructure
Safe HaskellSafe-Inferred
LanguageHaskell2010

Camfort.Specification.Hoare.Parser.Types

Documentation

data HoareParseError Source #

Instances

Instances details
Data HoareParseError Source # 
Instance details

Defined in Camfort.Specification.Hoare.Parser.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HoareParseError -> c HoareParseError #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HoareParseError #

toConstr :: HoareParseError -> Constr #

dataTypeOf :: HoareParseError -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HoareParseError) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HoareParseError) #

gmapT :: (forall b. Data b => b -> b) -> HoareParseError -> HoareParseError #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HoareParseError -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HoareParseError -> r #

gmapQ :: (forall d. Data d => d -> u) -> HoareParseError -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> HoareParseError -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> HoareParseError -> m HoareParseError #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HoareParseError -> m HoareParseError #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HoareParseError -> m HoareParseError #

Exception HoareParseError Source # 
Instance details

Defined in Camfort.Specification.Hoare.Parser.Types

Show HoareParseError Source # 
Instance details

Defined in Camfort.Specification.Hoare.Parser.Types

Eq HoareParseError Source # 
Instance details

Defined in Camfort.Specification.Hoare.Parser.Types

Ord HoareParseError Source # 
Instance details

Defined in Camfort.Specification.Hoare.Parser.Types

data Token Source #

Instances

Instances details
Data Token Source # 
Instance details

Defined in Camfort.Specification.Hoare.Parser.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Token -> c Token #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Token #

toConstr :: Token -> Constr #

dataTypeOf :: Token -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Token) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Token) #

gmapT :: (forall b. Data b => b -> b) -> Token -> Token #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Token -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Token -> r #

gmapQ :: (forall d. Data d => d -> u) -> Token -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Token -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Token -> m Token #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Token -> m Token #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Token -> m Token #

Show Token Source # 
Instance details

Defined in Camfort.Specification.Hoare.Parser.Types

Methods

showsPrec :: Int -> Token -> ShowS #

show :: Token -> String #

showList :: [Token] -> ShowS #

Eq Token Source # 
Instance details

Defined in Camfort.Specification.Hoare.Parser.Types

Methods

(==) :: Token -> Token -> Bool #

(/=) :: Token -> Token -> Bool #

Ord Token Source # 
Instance details

Defined in Camfort.Specification.Hoare.Parser.Types

Methods

compare :: Token -> Token -> Ordering #

(<) :: Token -> Token -> Bool #

(<=) :: Token -> Token -> Bool #

(>) :: Token -> Token -> Bool #

(>=) :: Token -> Token -> Bool #

max :: Token -> Token -> Token #

min :: Token -> Token -> Token #