Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
parse_flint :: String -> Either String (Spec, Refiner, Initialiser, Scenario) Source #
syn_fact_decl :: (Bool -> Maybe Restriction -> DomId -> Domain -> Term -> [ModClause] -> a) -> BNF Token a Source #
syn_duty_decl :: (Bool -> DomId -> Var -> Var -> [Var] -> Term -> [ModClause] -> a) -> BNF Token a Source #
syn_act_decl :: (Bool -> DomId -> Maybe Var -> Maybe Var -> [Var] -> Term -> [ModClause] -> a) -> BNF Token a Source #
syn_physical_decl :: (DomId -> Maybe Var -> [Var] -> Term -> [ModClause] -> a) -> BNF Token a Source #
derivation_from :: BNF Token [Derivation] Source #