camfort-1.0.1: CamFort - Cambridge Fortran infrastructure

Index - P

P128Language.Fortran.Model.Singletons
P128Sym0Language.Fortran.Model.Singletons
P16Language.Fortran.Model.Singletons
P16Sym0Language.Fortran.Model.Singletons
P32Language.Fortran.Model.Singletons
P32Sym0Language.Fortran.Model.Singletons
P64Language.Fortran.Model.Singletons
P64Sym0Language.Fortran.Model.Singletons
P8Language.Fortran.Model.Singletons
P8Sym0Language.Fortran.Model.Singletons
PairOf 
1 (Type/Class)Camfort.Helpers.TypeLevel
2 (Data Constructor)Camfort.Helpers.TypeLevel
ParsedOrigin 
1 (Type/Class)Camfort.Analysis.Logger
2 (Data Constructor)Camfort.Analysis.Logger
ParseError 
1 (Data Constructor)Camfort.Specification.Hoare.Parser.Types
2 (Data Constructor)Camfort.Specification.Hoare.CheckFrontend
parseErrorCamfort.Specification.Parser
parseExpressionCamfort.Specification.Hoare.Parser.Types
parseOriginCamfort.Analysis.Logger
parseTypeSpecCamfort.Specification.Hoare.Parser.Types
PartialOrdCamfort.Specification.Stencils.PartialOrd
PBool16Language.Fortran.Model.Types, Language.Fortran.Model
PBool32Language.Fortran.Model.Types, Language.Fortran.Model
PBool64Language.Fortran.Model.Types, Language.Fortran.Model
PBool8Language.Fortran.Model.Types, Language.Fortran.Model
PCharLanguage.Fortran.Model.Types, Language.Fortran.Model
PDoubleLanguage.Fortran.Model.Types, Language.Fortran.Model
peekMCamfort.Specification.Units.InferenceBackendFlint
peelCamfort.Specification.Stencils.Model
PeelableCamfort.Specification.Stencils.Model
perFileRefactoringCamfort.Input
PFExprCamfort.Specification.Hoare.Syntax
PFloatLanguage.Fortran.Model.Types, Language.Fortran.Model
PFLogicalCamfort.Specification.Hoare.Syntax
PInt16Language.Fortran.Model.Types, Language.Fortran.Model
PInt32Language.Fortran.Model.Types, Language.Fortran.Model
PInt64Language.Fortran.Model.Types, Language.Fortran.Model
PInt8Language.Fortran.Model.Types, Language.Fortran.Model
PLAndCamfort.Specification.Hoare.Syntax
PLEquivCamfort.Specification.Hoare.Syntax
PLImplCamfort.Specification.Hoare.Syntax
PLLitCamfort.Specification.Hoare.Syntax
PLNotCamfort.Specification.Hoare.Syntax
PLOrCamfort.Specification.Hoare.Syntax
pokeMCamfort.Specification.Units.InferenceBackendFlint
PPCamfort.Specification.Units.Environment
pprintConstrCamfort.Specification.Units.Environment
pprintSpecDeclsCamfort.Specification.Stencils.Syntax
pprintUnitInfoCamfort.Specification.Units.Environment
PrecisionLanguage.Fortran.Model.Singletons
PrecMaxLanguage.Fortran.Model.Singletons
precMaxLanguage.Fortran.Model.Singletons
PrecMaxSym0Language.Fortran.Model.Singletons
PrecMaxSym0KindInferenceLanguage.Fortran.Model.Singletons
PrecMaxSym1Language.Fortran.Model.Singletons
PrecMaxSym1KindInferenceLanguage.Fortran.Model.Singletons
PrecMaxSym2Language.Fortran.Model.Singletons
pRefactoredCamfort.Analysis.Annotations
PrefixCamfort.Specification.Units.Environment
prettyTokensCamfort.Specification.Hoare.Parser.Types
prevAnnotationCamfort.Specification.Units.Annotation
prhKindLanguage.Fortran.Model.Repr.Prim
prhLiteralLanguage.Fortran.Model.Repr.Prim
prhSymbolicLanguage.Fortran.Model.Repr.Prim
PrimLanguage.Fortran.Model.Types, Language.Fortran.Model
primCeilLanguage.Fortran.Model.Op.Core.Match
PrimFormulaCamfort.Specification.Hoare.Syntax
primLitLanguage.Fortran.Model.Repr.Prim
PrimLogicCamfort.Specification.Hoare.Syntax
PrimReprHandler 
1 (Type/Class)Language.Fortran.Model.Repr.Prim
2 (Data Constructor)Language.Fortran.Model.Repr.Prim
primReprHandlerLanguage.Fortran.Model.Repr.Prim
PrimReprHandlers 
1 (Type/Class)Language.Fortran.Model.Repr.Prim
2 (Data Constructor)Language.Fortran.Model.Repr.Prim
primReprHandlersLanguage.Fortran.Model.Repr.Prim
PrimReprOptionCamfort.Specification.Hoare
PrimReprSpec 
1 (Type/Class)Language.Fortran.Model.Repr.Prim
2 (Data Constructor)Language.Fortran.Model.Repr.Prim
PrimS 
1 (Type/Class)Language.Fortran.Model.Types, Language.Fortran.Model
2 (Data Constructor)Language.Fortran.Model.Types, Language.Fortran.Model
primSBVKindLanguage.Fortran.Model.Repr.Prim
PrimSpecCamfort.Specification.Hoare.Syntax
primSymbolicLanguage.Fortran.Model.Repr.Prim
ProductCamfort.Specification.Stencils.Syntax
ProgramFileCamfort.Input
PROIdealizedCamfort.Specification.Hoare
PROPreciseCamfort.Specification.Hoare
prop_compositionCamfort.Specification.Units.BackendTypes
proveEqSizeCamfort.Helpers.Vec
provenanceCamfort.Specification.Units.InferenceBackend
proveNonEmptyCamfort.Helpers.Vec
Proxy 
1 (Data Constructor)Camfort.Specification.Units.Environment
2 (Type/Class)Camfort.Specification.Units.Environment
prsBool16ReprLanguage.Fortran.Model.Repr.Prim
prsBool32ReprLanguage.Fortran.Model.Repr.Prim
prsBool64ReprLanguage.Fortran.Model.Repr.Prim
prsBool8ReprLanguage.Fortran.Model.Repr.Prim
prsDoubleReprLanguage.Fortran.Model.Repr.Prim
prsFloatReprLanguage.Fortran.Model.Repr.Prim
prsIdealizedLanguage.Fortran.Model.Repr.Prim
prsInt16ReprLanguage.Fortran.Model.Repr.Prim
prsInt32ReprLanguage.Fortran.Model.Repr.Prim
prsInt64ReprLanguage.Fortran.Model.Repr.Prim
prsInt8ReprLanguage.Fortran.Model.Repr.Prim
prsPreciseLanguage.Fortran.Model.Repr.Prim
prsWithArbitraryIntsLanguage.Fortran.Model.Repr.Prim
prsWithArbitraryRealsLanguage.Fortran.Model.Repr.Prim
puNameCamfort.Specification.Units.Analysis
PureAnalysisCamfort.Analysis
puSrcNameCamfort.Specification.Units.Analysis
putDescribeReportCamfort.Analysis