1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 |
----------------------------------------------------------------------------- --- Definition of data types ocurring in type-annotated FlatCurry programs. --- --- @author Michael Hanus --- @version April 2019 --------------------------------------------------------------------------- module FlatCurry.Typed.Types ( module FlatCurry.Typed.Types , module FlatCurry.Annotated.Types ) where import FlatCurry.Annotated.Types -- Type synomyms for type-annotated FlatCurry entities: type TAProg = AProg TypeExpr type TAFuncDecl = AFuncDecl TypeExpr type TARule = ARule TypeExpr type TAExpr = AExpr TypeExpr type TABranchExpr = ABranchExpr TypeExpr type TAPattern = APattern TypeExpr ---------------------------------------------------------------------------- |