curry-frontend-1.0.4: Compile the functional logic language Curry to several intermediate formats

Copyright(c) 2016 - 2017 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Transformations.Dictionary

Description

TODO

Documentation

insertDicts :: InterfaceEnv -> TCEnv -> ValueEnv -> ClassEnv -> InstEnv -> OpPrecEnv -> Module PredType -> (Module Type, InterfaceEnv, TCEnv, ValueEnv, OpPrecEnv) Source #

dictTypeId :: QualIdent -> Ident Source #

qDictTypeId :: QualIdent -> QualIdent Source #

dictConstrId :: QualIdent -> Ident Source #

qDictConstrId :: QualIdent -> QualIdent Source #

defaultMethodId :: QualIdent -> Ident -> Ident Source #

qDefaultMethodId :: QualIdent -> Ident -> QualIdent Source #

superDictStubId :: QualIdent -> QualIdent -> Ident Source #

qSuperDictStubId :: QualIdent -> QualIdent -> QualIdent Source #

instFunId :: QualIdent -> Type -> Ident Source #

qInstFunId :: ModuleIdent -> QualIdent -> Type -> QualIdent Source #

implMethodId :: QualIdent -> Type -> Ident -> Ident Source #

qImplMethodId :: ModuleIdent -> QualIdent -> Type -> Ident -> QualIdent Source #