Language.Fortran.Intrinsics

Documentation

getVersionIntrinsics :: FortranVersion -> IntrinsicsTable

Obtain set of intrinsics that are most closely aligned with given version.

getIntrinsicReturnType :: String -> IntrinsicsTable -> Maybe IntrinsicType

getIntrinsicNames :: IntrinsicsTable -> [String]

getIntrinsicDefsUses :: String -> IntrinsicsTable -> Maybe ([Int], [Int])

isIntrinsic :: String -> IntrinsicsTable -> Bool

data IntrinsicType

Constructors

ITReal

ITInteger

ITComplex

ITDouble

ITLogical

ITCharacter

ITParam Int

Instances

Eq IntrinsicType

Methods

(==) :: IntrinsicType -> IntrinsicType -> Bool

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

Ord IntrinsicType

Methods

compare :: IntrinsicType -> IntrinsicType -> Ordering

(<) :: IntrinsicType -> IntrinsicType -> Bool

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

(>) :: IntrinsicType -> IntrinsicType -> Bool

(>=) :: IntrinsicType -> IntrinsicType -> Bool

max :: IntrinsicType -> IntrinsicType -> IntrinsicType

min :: IntrinsicType -> IntrinsicType -> IntrinsicType

Show IntrinsicType

Methods

showsPrec :: Int -> IntrinsicType -> ShowS

show :: IntrinsicType -> String

showList :: [IntrinsicType] -> ShowS

Generic IntrinsicType

Associated Types

type Rep IntrinsicType :: * -> *

Methods

from :: IntrinsicType -> Rep IntrinsicType x

to :: Rep IntrinsicType x -> IntrinsicType

type Rep IntrinsicType

type Rep IntrinsicType = D1 * (MetaData "IntrinsicType" "Language.Fortran.Intrinsics" "fortran-src-0.2.1.1-4CSp5fVEmo08Ygy2mwA6e4" False) ((:+:) * ((:+:) * (C1 * (MetaCons "ITReal" PrefixI False) (U1 *)) ((:+:) * (C1 * (MetaCons "ITInteger" PrefixI False) (U1 *)) (C1 * (MetaCons "ITComplex" PrefixI False) (U1 *)))) ((:+:) * ((:+:) * (C1 * (MetaCons "ITDouble" PrefixI False) (U1 *)) (C1 * (MetaCons "ITLogical" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "ITCharacter" PrefixI False) (U1 *)) (C1 * (MetaCons "ITParam" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int))))))

type IntrinsicsTable = Map String IntrinsicsEntry

allIntrinsics :: IntrinsicsTable