Safe Haskell	Safe-Inferred
Language	Haskell2010

Camfort.Specification.Stencils.InferenceFrontend

Contents

Functions
report

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

Instances details

Show StencilsReport Source #
Instance details Defined in Camfort.Specification.Stencils.InferenceFrontend Methods showsPrec :: Int -> StencilsReport -> ShowS # show :: StencilsReport -> String # showList :: [StencilsReport] -> ShowS #
ExitCodeOfReport StencilsReport Source #
Instance details Defined in Camfort.Specification.Stencils.InferenceFrontend Methods exitCodeOf :: StencilsReport -> Int Source # exitCodeOfSet :: [StencilsReport] -> Int Source #
Describe StencilsReport Source #
Instance details Defined in Camfort.Specification.Stencils.InferenceFrontend Methods describe :: StencilsReport -> Text Source # describeBuilder :: StencilsReport -> Builder Source #
NFData StencilsReport Source #
Instance details Defined in Camfort.Specification.Stencils.InferenceFrontend Methods rnf :: StencilsReport -> () #