curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Source code Contents Index

Base

Documentation

toQualType :: ModuleIdent -> [Ident] -> TypeExpr -> Type Source

toQualTypes :: ModuleIdent -> [Ident] -> [TypeExpr] -> [Type] Source

toType :: [Ident] -> TypeExpr -> Type Source

toTypes :: [Ident] -> [TypeExpr] -> [Type] Source

toType' :: Map Ident Int -> TypeExpr -> Type Source

fromQualType :: ModuleIdent -> Type -> TypeExpr Source

fromType :: Type -> TypeExpr Source

type ModuleEnv = Map ModuleIdent [IDecl] Source

lookupModule :: ModuleIdent -> ModuleEnv -> Maybe [IDecl] Source

data TypeInfo Source

Constructors DataType QualIdent Int [Maybe (Data [Type])] RenamingType QualIdent Int (Data Type) AliasType QualIdent Int Type Instances Show TypeInfo Entity TypeInfo

data Data a Source

Constructors Data Ident Int a Instances Show a => Show (Data a)

tcArity :: TypeInfo -> Int Source

type TCEnv = TopEnv TypeInfo Source

bindTypeInfo :: (QualIdent -> Int -> a -> TypeInfo) -> ModuleIdent -> Ident -> [Ident] -> a -> TCEnv -> TCEnv Source

lookupTC :: Ident -> TCEnv -> [TypeInfo] Source

qualLookupTC :: QualIdent -> TCEnv -> [TypeInfo] Source

lookupTupleTC :: Ident -> [TypeInfo] Source

tupleTCs :: [TypeInfo] Source

tupleData :: [Data [Type]] Source

data ValueInfo Source

Constructors DataConstructor QualIdent ExistTypeScheme NewtypeConstructor QualIdent ExistTypeScheme Value QualIdent TypeScheme Label QualIdent QualIdent TypeScheme Instances Show ValueInfo Entity ValueInfo SubstType ValueInfo

type ValueEnv = TopEnv ValueInfo Source

bindGlobalInfo :: (QualIdent -> a -> ValueInfo) -> ModuleIdent -> Ident -> a -> ValueEnv -> ValueEnv Source

bindFun :: ModuleIdent -> Ident -> TypeScheme -> ValueEnv -> ValueEnv Source

rebindFun :: ModuleIdent -> Ident -> TypeScheme -> ValueEnv -> ValueEnv Source

bindLabel :: Ident -> QualIdent -> TypeScheme -> ValueEnv -> ValueEnv Source

lookupValue :: Ident -> ValueEnv -> [ValueInfo] Source

qualLookupValue :: QualIdent -> ValueEnv -> [ValueInfo] Source

qualLookupCons :: QualIdent -> ValueEnv -> [ValueInfo] Source

lookupTuple :: Ident -> [ValueInfo] Source

tupleDCs :: [ValueInfo] Source

type ArityEnv = TopEnv ArityInfo Source

data ArityInfo Source

Constructors ArityInfo QualIdent Int Instances Show ArityInfo Entity ArityInfo

bindArity :: ModuleIdent -> Ident -> Int -> ArityEnv -> ArityEnv Source

lookupArity :: Ident -> ArityEnv -> [ArityInfo] Source

qualLookupArity :: QualIdent -> ArityEnv -> [ArityInfo] Source

qualLookupConsArity :: QualIdent -> ArityEnv -> [ArityInfo] Source

lookupTupleArity :: Ident -> [ArityInfo] Source

type ImportEnv = Map ModuleIdent ModuleIdent Source

bindAlias :: Decl -> ImportEnv -> ImportEnv Source

lookupAlias :: ModuleIdent -> ImportEnv -> Maybe ModuleIdent Source

sureLookupAlias :: ModuleIdent -> ImportEnv -> ModuleIdent Source

data OpPrec Source

Constructors OpPrec Infix Integer Instances Eq OpPrec Show OpPrec

defaultP :: OpPrec Source

data PrecInfo Source

Constructors PrecInfo QualIdent OpPrec Instances Eq PrecInfo Show PrecInfo Entity PrecInfo

type PEnv = TopEnv PrecInfo Source

bindP :: ModuleIdent -> Ident -> OpPrec -> PEnv -> PEnv Source

lookupP :: Ident -> PEnv -> [PrecInfo] Source

qualLookupP :: QualIdent -> PEnv -> [PrecInfo] Source

type EvalEnv = Map Ident EvalAnnotation Source

initPEnv :: PEnv Source

initTCEnv :: TCEnv Source

initDCEnv :: ValueEnv Source

initAEnv :: ArityEnv Source

initIEnv :: ImportEnv Source

predefTypes :: [(Type, [Data [Type]])] Source

errorAt :: Position -> String -> a Source

errorAt' :: (Position, String) -> a Source

internalError :: String -> a Source

nameSupply :: [Ident] Source

findDouble :: Eq a => [a] -> Maybe a Source

Produced by Haddock version 2.4.2