curry-base-0.2.7: Functions for manipulating Curry programs
Curry.ExtendedFlat.Type
data SrcRef Source
Instances
data Prog Source
Constructors
data QName Source
Fields
qnOf :: QName -> (String, String)Source
mkQName :: (String, String) -> QNameSource
data Visibility Source
type TVarIndex = IntSource
data TypeDecl Source
data ConsDecl Source
data TypeExpr Source
data OpDecl Source
data Fixity Source
data VarIndex Source
mkIdx :: Int -> VarIndexSource
incVarIndex :: VarIndex -> Int -> VarIndexSource
data FuncDecl Source
data Rule Source
data CaseType Source
data CombType Source
data Expr Source
data BranchExpr Source
data Pattern Source
data Literal Source
readFlatCurry :: FilePath -> IO (Maybe Prog)Source
readFlatInterface :: String -> IO (Maybe Prog)Source
readFlat :: FilePath -> IO (Maybe Prog)Source
writeFlatCurry :: Bool -> String -> Prog -> IO ()Source
writeExtendedFlat :: Bool -> String -> Prog -> IO ()Source
gshowsPrec :: Data a => Bool -> Bool -> a -> ShowSSource