Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Operators for expressions over lifted values
- Lifting Fortran types to higher-level representations
- Folds over arrays (sum, product)
- High-level mathematical functions (factorial...)
Documentation
data HighOp t a where Source #
Instances
HFunctor HighOp Source # | |
Defined in Language.Fortran.Model.Op.High | |
HTraversable HighOp Source # | |
Defined in Language.Fortran.Model.Op.High | |
Pretty2 HighOp Source # | |
(MonadReader r m, HasPrimReprHandlers r) => HFoldableAt (Compose m HighRepr :: Type -> Type) HighOp Source # | |
data LiftDOp t a where Source #
Instances
HFunctor LiftDOp Source # | |
Defined in Language.Fortran.Model.Op.High | |
HTraversable LiftDOp Source # | |
Defined in Language.Fortran.Model.Op.High | |
Pretty2 LiftDOp Source # | |
(MonadReader r m, HasPrimReprHandlers r) => HFoldableAt (Compose m HighRepr :: Type -> Type) LiftDOp Source # | |