curry-base-1.1.0: Functions for manipulating Curry programs

Copyright(c) 2018 Kai-Oliver Prott
LicenseBSD-3-clause
Maintainerfte@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Curry.FlatCurry.Typeable

Description

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

Documentation

class Typeable a where Source #

Methods

typeOf :: a -> TypeExpr Source #

Instances
Typeable TypeExpr Source # 
Instance details

Defined in Curry.FlatCurry.Typeable

Typeable TPattern Source # 
Instance details

Defined in Curry.FlatCurry.Typed.Type

Typeable TBranchExpr Source # 
Instance details

Defined in Curry.FlatCurry.Typed.Type

Typeable TExpr Source # 
Instance details

Defined in Curry.FlatCurry.Typed.Type

Typeable TRule Source # 
Instance details

Defined in Curry.FlatCurry.Typed.Type

Typeable a => Typeable (APattern a) Source # 
Instance details

Defined in Curry.FlatCurry.Annotated.Type

Typeable a => Typeable (AExpr a) Source # 
Instance details

Defined in Curry.FlatCurry.Annotated.Type

Methods

typeOf :: AExpr a -> TypeExpr Source #