Language.Fortran.Model.Vars

Defines a strongly-typed representation of Fortran variables.

Variables

data FortranVar a where

A variable representing a value of type a. Contains a D a as proof that the type has a corresponding Fortran type, and the variable name.

Constructors

FortranVar :: D a -> NamePair -> FortranVar a

Instances

VerifiableVar FortranVar

Defined in Language.Fortran.Model.Vars

Associated Types

type VarKey FortranVar

type VarSym FortranVar :: Type -> Type

type VarEnv FortranVar

Methods

symForVar :: FortranVar a -> VarEnv FortranVar -> Symbolic (VarSym FortranVar a)

varKey :: FortranVar a -> VarKey FortranVar

eqVarTypes :: FortranVar a -> FortranVar b -> Maybe (a :~: b)

castVarSym :: FortranVar a -> VarSym FortranVar b -> Maybe (VarSym FortranVar a)

Pretty1 FortranVar

Defined in Language.Fortran.Model.Vars

Methods

pretty1 :: forall (a :: k). FortranVar a -> String

prettys1Prec :: forall (a :: k). Int -> FortranVar a -> ShowS

type VarEnv FortranVar

Defined in Language.Fortran.Model.Vars

type VarEnv FortranVar = PrimReprHandlers

type VarKey FortranVar

Defined in Language.Fortran.Model.Vars

type VarKey FortranVar = UniqueName

type VarSym FortranVar

Defined in Language.Fortran.Model.Vars

type VarSym FortranVar = CoreRepr

Names

data NamePair

A NamePair represents the name of some part of a Fortran program, including the human-readable source name and the unique name.

Constructors

NamePair

Fields

• _npUnique :: UniqueName
• _npSource :: SourceName

Instances

Show NamePair

Defined in Language.Fortran.Model.Vars

Methods

showsPrec :: Int -> NamePair -> ShowS

show :: NamePair -> String

showList :: [NamePair] -> ShowS

Eq NamePair

Defined in Language.Fortran.Model.Vars

Methods

(==) :: NamePair -> NamePair -> Bool

(/=) :: NamePair -> NamePair -> Bool

Ord NamePair

Defined in Language.Fortran.Model.Vars

Methods

compare :: NamePair -> NamePair -> Ordering

(<) :: NamePair -> NamePair -> Bool

(<=) :: NamePair -> NamePair -> Bool

(>) :: NamePair -> NamePair -> Bool

(>=) :: NamePair -> NamePair -> Bool

max :: NamePair -> NamePair -> NamePair

min :: NamePair -> NamePair -> NamePair

Pretty NamePair

The pretty version of a NamePair is its source name.

Defined in Language.Fortran.Model.Vars

Methods

pretty :: NamePair -> String

prettysPrec :: Int -> NamePair -> ShowS

npSource :: Lens' NamePair SourceName

npUnique :: Lens' NamePair UniqueName

newtype SourceName

Newtype wrapper for source-level variable names.

Constructors

SourceName

Fields

• getSourceName :: Name

Instances

Show SourceName

Defined in Language.Fortran.Model.Vars

Methods

showsPrec :: Int -> SourceName -> ShowS

show :: SourceName -> String

showList :: [SourceName] -> ShowS

Eq SourceName

Defined in Language.Fortran.Model.Vars

Methods

(==) :: SourceName -> SourceName -> Bool

(/=) :: SourceName -> SourceName -> Bool

Ord SourceName

Defined in Language.Fortran.Model.Vars

Methods

compare :: SourceName -> SourceName -> Ordering

(<) :: SourceName -> SourceName -> Bool

(<=) :: SourceName -> SourceName -> Bool

(>) :: SourceName -> SourceName -> Bool

(>=) :: SourceName -> SourceName -> Bool

max :: SourceName -> SourceName -> SourceName

min :: SourceName -> SourceName -> SourceName

Wrapped SourceName

Defined in Language.Fortran.Model.Vars

Associated Types

type Unwrapped SourceName

Methods

_Wrapped' :: Iso' SourceName (Unwrapped SourceName)

Pretty SourceName

Defined in Language.Fortran.Model.Vars

Methods

pretty :: SourceName -> String

prettysPrec :: Int -> SourceName -> ShowS

SourceName ~ t => Rewrapped SourceName t

Defined in Language.Fortran.Model.Vars

type Unwrapped SourceName

Defined in Language.Fortran.Model.Vars

type Unwrapped SourceName = Name

newtype UniqueName

Newtype wrapper for unique variable names.

Constructors

UniqueName

Fields

• getUniqueName :: Name

Instances

Show UniqueName

Defined in Language.Fortran.Model.Vars

Methods

showsPrec :: Int -> UniqueName -> ShowS

show :: UniqueName -> String

showList :: [UniqueName] -> ShowS

Eq UniqueName

Defined in Language.Fortran.Model.Vars

Methods

(==) :: UniqueName -> UniqueName -> Bool

(/=) :: UniqueName -> UniqueName -> Bool

Ord UniqueName

Defined in Language.Fortran.Model.Vars

Methods

compare :: UniqueName -> UniqueName -> Ordering

(<) :: UniqueName -> UniqueName -> Bool

(<=) :: UniqueName -> UniqueName -> Bool

(>) :: UniqueName -> UniqueName -> Bool

(>=) :: UniqueName -> UniqueName -> Bool

max :: UniqueName -> UniqueName -> UniqueName

min :: UniqueName -> UniqueName -> UniqueName

Wrapped UniqueName

Defined in Language.Fortran.Model.Vars

Associated Types

type Unwrapped UniqueName

Methods

_Wrapped' :: Iso' UniqueName (Unwrapped UniqueName)

UniqueName ~ t => Rewrapped UniqueName t

Defined in Language.Fortran.Model.Vars

type Unwrapped UniqueName

Defined in Language.Fortran.Model.Vars

type Unwrapped UniqueName = Name