| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Stencils.InferenceFrontend
Synopsis
- stencilInference :: Bool -> Char -> ProgramFile SA -> StencilsAnalysis [LogLine]
- stencilSynthesis :: Char -> ProgramFile SA -> StencilsAnalysis (ProgramFile SA, [LogLine])
- data StencilsReport = StencilsReport [(String, LogLine)]
Functions
stencilInference :: Bool -> Char -> ProgramFile SA -> StencilsAnalysis [LogLine] Source #
Attempt to convert a Specification into a Specification.
Only performs conversions for spatial specifications. specToSynSpec :: SpecInner -> Maybe Specification specToSynSpec spec = let ?renv = [] in case synToAst spec of Left _ -> Nothing Right x -> Just x
Main stencil inference code
stencilSynthesis :: Char -> ProgramFile SA -> StencilsAnalysis (ProgramFile SA, [LogLine]) Source #
report
data StencilsReport Source #
Constructors
| StencilsReport [(String, LogLine)] | (filename, logged stencil) |
Instances
| Show StencilsReport Source # | |
Defined in Camfort.Specification.Stencils.InferenceFrontend Methods showsPrec :: Int -> StencilsReport -> ShowS # show :: StencilsReport -> String # showList :: [StencilsReport] -> ShowS # | |
| NFData StencilsReport Source # | |
Defined in Camfort.Specification.Stencils.InferenceFrontend Methods rnf :: StencilsReport -> () # | |
| Describe StencilsReport Source # | |
Defined in Camfort.Specification.Stencils.InferenceFrontend Methods describe :: StencilsReport -> Text Source # | |
| ExitCodeOfReport StencilsReport Source # | |
Defined in Camfort.Specification.Stencils.InferenceFrontend Methods exitCodeOf :: StencilsReport -> Int Source # exitCodeOfSet :: [StencilsReport] -> Int Source # | |