Curry.FlatCurry.Typeable

Description

This module defines a Typeclass for easy access to the type of entites

Documentation

class Typeable a where Source #

Methods

Instances

Typeable TypeExpr Source #
Instance details Defined in Curry.FlatCurry.Typeable Methods typeOf :: TypeExpr -> TypeExpr Source #
Typeable TPattern Source #
Instance details Defined in Curry.FlatCurry.Typed.Type Methods typeOf :: TPattern -> TypeExpr Source #
Typeable TBranchExpr Source #
Instance details Defined in Curry.FlatCurry.Typed.Type Methods typeOf :: TBranchExpr -> TypeExpr Source #
Typeable TExpr Source #
Instance details Defined in Curry.FlatCurry.Typed.Type Methods typeOf :: TExpr -> TypeExpr Source #
Typeable TRule Source #
Instance details Defined in Curry.FlatCurry.Typed.Type Methods typeOf :: TRule -> TypeExpr Source #
Typeable a => Typeable (APattern a) Source #
Instance details Defined in Curry.FlatCurry.Annotated.Type Methods typeOf :: APattern a -> TypeExpr Source #
Typeable a => Typeable (AExpr a) Source #
Instance details Defined in Curry.FlatCurry.Annotated.Type Methods typeOf :: AExpr a -> TypeExpr Source #