fortran-src-0.16.5: Parsers and analyses for Fortran standards 66, 77, 90, 95 and 2003 (partial).

Safe Haskell	None
Language	Haskell2010

Language.Fortran.Repr.Eval.Value.Op

Description

Evaluate operations between values in the value representation.

Synopsis

data Error
- = EBadArgType1 [String] FScalarType
- | EBadArgType2 [String] FScalarType FScalarType
- | EGeneric String
opIcDble :: FScalarValue -> Either Error FReal
eBadArgType1 :: [String] -> FScalarValue -> Either Error a
eBadArgType2 :: [String] -> FScalarValue -> FScalarValue -> Either Error a
eGeneric :: String -> Either Error a
opIcNumericBOp :: (forall a. (Num a, Ord a) => a -> a -> a) -> FScalarValue -> FScalarValue -> Either Error FScalarValue
opIcNumericBOpRealIntSep :: (forall a. Integral a => a -> a -> a) -> (forall a. RealFloat a => a -> a -> a) -> FScalarValue -> FScalarValue -> Either Error FScalarValue
opIcNumRelBOp :: (forall a. Ord a => a -> a -> r) -> FScalarValue -> FScalarValue -> Either Error r
opIcNumericUOpInplace :: (forall a. Num a => a -> a) -> FScalarValue -> Either Error FScalarValue
opIcLogicalBOp :: (Bool -> Bool -> r) -> FScalarValue -> FScalarValue -> Either Error r
opEq :: FScalarValue -> FScalarValue -> Either Error Bool
opIor' :: FInt -> FInt -> FInt
opIor :: FInt -> FInt -> Either Error FInt

Documentation

data Error Source #

Operation TODO

Constructors

EBadArgType1 [String] FScalarType
EBadArgType2 [String] FScalarType FScalarType
EGeneric String

Instances

Instances details

Show Error Source #
Instance details Defined in Language.Fortran.Repr.Eval.Value.Op Methods showsPrec :: Int -> Error -> ShowS # show :: Error -> String # showList :: [Error] -> ShowS #
Eq Error Source #
Instance details Defined in Language.Fortran.Repr.Eval.Value.Op Methods (==) :: Error -> Error -> Bool # (/=) :: Error -> Error -> Bool #

opIcDble :: FScalarValue -> Either Error FReal Source #

eBadArgType1 :: [String] -> FScalarValue -> Either Error a Source #

eBadArgType2 :: [String] -> FScalarValue -> FScalarValue -> Either Error a Source #

eGeneric :: String -> Either Error a Source #

opIcNumericBOp :: (forall a. (Num a, Ord a) => a -> a -> a) -> FScalarValue -> FScalarValue -> Either Error FScalarValue Source #

opIcNumericBOpRealIntSep :: (forall a. Integral a => a -> a -> a) -> (forall a. RealFloat a => a -> a -> a) -> FScalarValue -> FScalarValue -> Either Error FScalarValue Source #

opIcNumRelBOp :: (forall a. Ord a => a -> a -> r) -> FScalarValue -> FScalarValue -> Either Error r Source #

opIcNumericUOpInplace :: (forall a. Num a => a -> a) -> FScalarValue -> Either Error FScalarValue Source #

opIcLogicalBOp :: (Bool -> Bool -> r) -> FScalarValue -> FScalarValue -> Either Error r Source #

opEq :: FScalarValue -> FScalarValue -> Either Error Bool Source #

opIor' :: FInt -> FInt -> FInt Source #

According to gfortran spec and F2010 spec, same kind required.

opIor :: FInt -> FInt -> Either Error FInt Source #