Yhc.Core.Type

Synopsis

Documentation

type CoreVarName = String Source

type CoreFuncName = String Source

type CoreDataName = String Source

type CoreCtorName = String Source

type CoreFieldName = String Source

data Core Source

Constructors

Core
Fields coreName :: String coreImports :: [String] coreDatas :: [CoreData] coreFuncs :: [CoreFunc]

Instances

Eq Core
Ord Core
Show Core
Binary Core
UniplateExpr Core
PlayCore Core
ShowRaw Core

data CoreData Source

Constructors

CoreData
Fields coreDataName :: CoreDataName coreDataTypes :: [String] coreDataCtors :: [CoreCtor]

Instances

Eq CoreData
Ord CoreData
Show CoreData
Binary CoreData
PlayCore CoreData
ShowRaw CoreData

data CoreCtor Source

Constructors

CoreCtor
Fields coreCtorName :: CoreCtorName coreCtorFields :: [(String, Maybe CoreFieldName)]

Instances

Eq CoreCtor
Ord CoreCtor
Show CoreCtor
Binary CoreCtor
ShowRaw CoreCtor

data CoreFunc Source

Constructors

CoreFunc
Fields coreFuncName :: CoreFuncName coreFuncArgs :: [CoreVarName] coreFuncBody :: CoreExpr
CorePrim
Fields coreFuncName :: CoreFuncName corePrimArity :: Int corePrimExternal :: String corePrimConv :: String corePrimImport :: Bool corePrimTypes :: [String]

Instances

Eq CoreFunc
Ord CoreFunc
Show CoreFunc
Binary CoreFunc
UniplateExpr CoreFunc
PlayCore CoreFunc
ShowRaw CoreFunc

isCorePrim :: CoreFunc -> Bool Source

isCoreFunc :: CoreFunc -> Bool Source

coreFuncArity :: CoreFunc -> Int Source

coreFuncArgList :: CoreFunc -> [CoreVarName]Source

type CoreFuncMap = Map CoreFuncName CoreFunc Source

data CoreLit Source

Constructors

CoreInt Int
CoreInteger Integer
CoreChr Char
CoreStr String
CoreFloat Float
CoreDouble Double

Instances

Eq CoreLit
Ord CoreLit
Show CoreLit
Binary CoreLit
ShowRaw CoreLit

data CorePat Source

Constructors

PatCon
Fields patCon :: CoreCtorName patVars :: [CoreVarName]
PatLit
Fields patLit :: CoreLit
PatDefault

Instances

Eq CorePat
Ord CorePat
Show CorePat
Binary CorePat
ShowRaw CorePat

coreApp :: CoreExpr -> [CoreExpr] -> CoreExpr Source

coreLet :: [(CoreVarName, CoreExpr)] -> CoreExpr -> CoreExpr Source

coreLam :: [CoreVarName] -> CoreExpr -> CoreExpr Source

fromCoreLit :: CoreExpr -> CoreLit Source

fromCoreVar :: CoreExpr -> String Source

fromCoreFun :: CoreExpr -> String Source

fromCoreCon :: CoreExpr -> String Source

fromCoreApp :: CoreExpr -> (CoreExpr, [CoreExpr])Source

fromCoreLet :: CoreExpr -> ([(CoreVarName, CoreExpr)], CoreExpr)Source

fromCoreLam :: CoreExpr -> ([CoreVarName], CoreExpr)Source

isCoreVar :: CoreExpr -> Bool Source

isCoreFun :: CoreExpr -> Bool Source

isCoreLam :: CoreExpr -> Bool Source

isCoreCon :: CoreExpr -> Bool Source

isCoreLet :: CoreExpr -> Bool Source

isCoreCase :: CoreExpr -> Bool Source

isCoreLit :: CoreExpr -> Bool Source

isCorePos :: CoreExpr -> Bool Source

isCoreChr :: CoreLit -> Bool Source

isCoreInt :: CoreLit -> Bool Source

isCoreStr :: CoreLit -> Bool Source

isPatLit :: CorePat -> Bool Source

isPatCon :: CorePat -> Bool Source

isPatDefault :: CorePat -> Bool Source

patToExpr :: CorePat -> CoreExpr Source

exprToPat :: CoreExpr -> CorePat Source

isCoreLitSmall :: CoreLit -> Bool Source

Returns true for constants that take a small, bounded amount of space

remCorePos :: CoreExpr -> CoreExpr Source

dropModule :: String -> String Source

drop a module from a Core declaration

coreFunc :: Core -> CoreFuncName -> CoreFunc Source

Get a function from a Core type crashes if the function does not exist

coreFuncMaybe :: Core -> CoreFuncName -> Maybe CoreFunc Source

A non-crashing version of coreFunc returns Nothing if the function does not exist. If multiple functions with the same name exist, this crashes.

coreFieldDataMaybe :: Core -> CoreFieldName -> Maybe CoreData Source

Get a CoreData from a field (the snd element of coreCtorFields)

coreCtorDataMaybe :: Core -> CoreCtorName -> Maybe CoreData Source

Get a CoreData from a ctor name

coreFieldCtorMaybe :: Core -> CoreFieldName -> Maybe CoreCtor Source

Get a CoreCtor from a field name

coreFieldData :: Core -> CoreFieldName -> CoreData Source

coreCtorData :: Core -> CoreCtorName -> CoreData Source

coreFieldCtor :: Core -> CoreFieldName -> CoreCtor Source

coreCtor :: Core -> CoreCtorName -> CoreCtor Source

coreData :: Core -> CoreDataName -> CoreData Source

applyBodyCore :: (CoreExpr -> CoreExpr) -> Core -> Core Source

Take a function that operates on bodies, and apply it to a program

applyBodyFunc :: (CoreExpr -> CoreExpr) -> CoreFunc -> CoreFunc Source

Take a function that operates on bodies, and apply it to a function

applyFuncCore :: (CoreFunc -> CoreFunc) -> Core -> Core Source

Take a function that operates on functions, and apply it to a program

applyCtorCore :: (CoreCtor -> CoreCtor) -> Core -> Core Source

applyDataCore :: (CoreData -> CoreData) -> Core -> Core Source

applyCtorData :: (CoreCtor -> CoreCtor) -> CoreData -> CoreData Source

applyBodyCoreM :: Monad m => (CoreExpr -> m CoreExpr) -> Core -> m Core Source

applyFuncCoreM :: Monad m => (CoreFunc -> m CoreFunc) -> Core -> m Core Source

coreDataTypeSplit :: String -> [String]Source

Split up a coreDataType into lexical elements None of the result elements will be space, or blank Some may be (, ) or !

coreDataTypeJoin :: [String] -> String Source

can pretty print much nicer, just something that works for now

fromCoreFuncMap :: Core -> CoreFuncMap -> Core Source

toCoreFuncMap :: Core -> CoreFuncMap Source

coreFuncMap :: CoreFuncMap -> CoreFuncName -> CoreFunc Source

coreFuncMapMaybe :: CoreFuncMap -> CoreFuncName -> Maybe CoreFunc Source

CoreCon CoreCtorName
CoreVar CoreVarName
CoreFun CoreFuncName
CoreApp CoreExpr [CoreExpr]
CoreLam [CoreVarName] CoreExpr
CoreCase CoreExpr [(CorePat, CoreExpr)]
CoreLet [(CoreVarName, CoreExpr)] CoreExpr
CorePos String CoreExpr
CoreLit CoreLit

Eq CoreExpr
Ord CoreExpr
Show CoreExpr
Uniplate CoreExpr
Play CoreExpr
Binary CoreExpr
UniplateExpr CoreExpr
PlayCore CoreExpr
ShowRaw CoreExpr