Safe Haskell	None
Language	Haskell2010

MagicHaskeller.CoreLang

Contents

Orphan instances

Synopsis

type Var = Int16
data CoreExpr
- = S
- | K
- | I
- | B
- | C
- | S'
- | B'
- | C'
- | Y
- | Lambda CoreExpr
- | X !Int8
- | FunLambda CoreExpr
- | FunX Int8
- | Tuple !Int8
- | Primitive {
  - primId :: !Var
  }
- | PrimCon {
  - primId :: !Var
  }
- | Context Dictionary
- | CoreExpr :$ CoreExpr
- | Case CoreExpr [(Var, Int8, CoreExpr)]
- | Fix CoreExpr Int8 [Int8]
- | VarName String
newtype Dictionary = Dict {
- undict :: Dynamic
}
arityCE :: CoreExpr -> Int
isAbsent :: Int -> CoreExpr -> Bool
isa :: Integer -> CoreExpr -> Integer
type VarLib = Array Var Dynamic
type VarPriorityLib = Array Var Int
actualVarName :: String -> Exp
stripByd_ :: [Char] -> [Char]
headIsX :: CoreExpr -> Bool
isAPrimitiveCombinator :: CoreExpr -> Bool
removeAbsents :: CoreExpr -> CoreExpr
adjustXs :: (Bits a, Num a) => a -> Int8 -> CoreExpr -> CoreExpr
unboundXs :: (Bits a, Num a) => Int8 -> CoreExpr -> a
subexprs :: CoreExpr -> [CoreExpr]
sub :: Integral i => i -> CoreExpr -> [CoreExpr]
branches :: CoreExpr -> [CoreExpr]
bra :: Integral i => i -> CoreExpr -> [CoreExpr]
parentsOfLeaves :: CoreExpr -> [CoreExpr]
pol :: Integral i => i -> CoreExpr -> [CoreExpr]
args :: CoreExpr -> [CoreExpr]
isALeaf :: CoreExpr -> Bool
ceToPriority :: VarPriorityLib -> CoreExpr -> Int
exprToTHExp :: VarLib -> CoreExpr -> Exp
exprToTHExpLite :: VarLib -> CoreExpr -> Exp
exprToTHExp' :: Bool -> Array Var Dynamic -> CoreExpr -> Exp
funOccursIn :: Int8 -> CoreExpr -> Bool
lightBeta :: CoreExpr -> CoreExpr
replace :: Int8 -> Int8 -> CoreExpr -> CoreExpr
liftFun :: Int8 -> CoreExpr -> CoreExpr
nlift :: Int8 -> Int8 -> CoreExpr -> CoreExpr
nliftInt :: Int8 -> Int8 -> Int8 -> Int8
napply :: Integral i => i -> (a -> a) -> a -> a
type Primitive = (HValue, Exp, Type)
newtype HValue = HV (forall a. a)
primitivesToTCL :: [Primitive] -> TyConLib
primitivesToVL :: TyConLib -> [Primitive] -> VarLib
dynamicsToVL :: [Dynamic] -> VarLib
prioritiesToVPL :: [Int] -> VarPriorityLib
listToArray :: (Integral i, Ix i) => [a] -> Array i a
primitiveToDynamic :: TyConLib -> Primitive -> Dynamic
defaultVarLib :: VarLib
lenDefaultPrimitives :: Integer
defaultPrimitives :: [Dynamic]

Documentation

type Var = Int16 Source #

data CoreExpr Source #

Constructors

S
K
I
B
C
S'
B'
C'
Y
Lambda CoreExpr
X !Int8
FunLambda CoreExpr
FunX Int8
Tuple !Int8
Primitive
Fields primId :: !Var
PrimCon
Fields primId :: !Var
Context Dictionary
CoreExpr :$ CoreExpr infixl 9
Case CoreExpr [(Var, Int8, CoreExpr)]
Fix CoreExpr Int8 [Int8]
VarName String

Instances

Instances details

Eq CoreExpr Source #
Instance details Defined in MagicHaskeller.CoreLang Methods (==) :: CoreExpr -> CoreExpr -> Bool # (/=) :: CoreExpr -> CoreExpr -> Bool #
Ord CoreExpr Source #
Instance details Defined in MagicHaskeller.CoreLang Methods compare :: CoreExpr -> CoreExpr -> Ordering # (<) :: CoreExpr -> CoreExpr -> Bool # (<=) :: CoreExpr -> CoreExpr -> Bool # (>) :: CoreExpr -> CoreExpr -> Bool # (>=) :: CoreExpr -> CoreExpr -> Bool # max :: CoreExpr -> CoreExpr -> CoreExpr # min :: CoreExpr -> CoreExpr -> CoreExpr #
Show CoreExpr Source #
Instance details Defined in MagicHaskeller.CoreLang Methods showsPrec :: Int -> CoreExpr -> ShowS # show :: CoreExpr -> String # showList :: [CoreExpr] -> ShowS #
Expression CoreExpr Source #
Instance details Defined in MagicHaskeller.Expression Methods mkHead :: (Integral i, Integral j) => (CoreExpr -> Dynamic) -> i -> j -> j -> CoreExpr -> CoreExpr Source # toCE :: CoreExpr -> CoreExpr Source # fromCE :: (CoreExpr -> Dynamic) -> CoreExpr -> CoreExpr Source # mapCE :: (CoreExpr -> CoreExpr) -> CoreExpr -> CoreExpr Source # aeAppErr :: String -> CoreExpr -> CoreExpr -> CoreExpr Source # appEnv :: Int8 -> CoreExpr -> CoreExpr -> CoreExpr Source # toAnnExpr :: (CoreExpr -> Dynamic) -> CoreExpr -> AnnExpr Source # toAnnExprWind :: (CoreExpr -> Dynamic) -> Type -> CoreExpr -> AnnExpr Source # toAnnExprWindWind :: (CoreExpr -> Dynamic) -> Type -> CoreExpr -> AnnExpr Source # fromAnnExpr :: AnnExpr -> CoreExpr Source # reorganize :: Monad m => ([Type] -> m [CoreExpr]) -> [Type] -> m [CoreExpr] Source # reorganize' :: Monad m => ([Type] -> m [CoreExpr]) -> [Type] -> m [CoreExpr] Source # reorganizeId :: ([Type] -> [CoreExpr]) -> [Type] -> [CoreExpr] Source # replaceVars' :: Int8 -> CoreExpr -> [Int8] -> CoreExpr Source # reorganizeId' :: Functor m => ([Type] -> m CoreExpr) -> [Type] -> m CoreExpr Source # decodeVars :: Int -> [Int8] -> CoreExpr -> CoreExpr Source #
ProgramGeneratorIO (PGSFIOR CoreExpr) Source #
Instance details Defined in MagicHaskeller.ProgGenSFIORef Methods mkTrieIO :: Common -> [Typed [CoreExpr]] -> [[Typed [CoreExpr]]] -> IO (PGSFIOR CoreExpr) Source # mkTrieOptIO :: Common -> [Typed [CoreExpr]] -> [[Typed [CoreExpr]]] -> [[Typed [CoreExpr]]] -> IO (PGSFIOR CoreExpr) Source # matchingProgramsIO :: Type -> PGSFIOR CoreExpr -> RecompT IO AnnExpr Source # unifyingProgramsIO :: Type -> PGSFIOR CoreExpr -> RecompT IO AnnExpr Source #

newtype Dictionary Source #

Constructors

Dict
Fields undict :: Dynamic

Instances

Instances details

Eq Dictionary Source #
Instance details Defined in MagicHaskeller.CoreLang Methods (==) :: Dictionary -> Dictionary -> Bool # (/=) :: Dictionary -> Dictionary -> Bool #
Ord Dictionary Source #
Instance details Defined in MagicHaskeller.CoreLang Methods compare :: Dictionary -> Dictionary -> Ordering # (<) :: Dictionary -> Dictionary -> Bool # (<=) :: Dictionary -> Dictionary -> Bool # (>) :: Dictionary -> Dictionary -> Bool # (>=) :: Dictionary -> Dictionary -> Bool # max :: Dictionary -> Dictionary -> Dictionary # min :: Dictionary -> Dictionary -> Dictionary #
Show Dictionary Source #
Instance details Defined in MagicHaskeller.CoreLang Methods showsPrec :: Int -> Dictionary -> ShowS # show :: Dictionary -> String # showList :: [Dictionary] -> ShowS #

arityCE :: CoreExpr -> Int Source #

isAbsent :: Int -> CoreExpr -> Bool Source #

isa :: Integer -> CoreExpr -> Integer Source #

type VarLib = Array Var Dynamic Source #

type VarPriorityLib = Array Var Int Source #

actualVarName :: String -> Exp Source #

stripByd_ :: [Char] -> [Char] Source #

headIsX :: CoreExpr -> Bool Source #

isAPrimitiveCombinator :: CoreExpr -> Bool Source #

removeAbsents :: CoreExpr -> CoreExpr Source #

adjustXs :: (Bits a, Num a) => a -> Int8 -> CoreExpr -> CoreExpr Source #

unboundXs :: (Bits a, Num a) => Int8 -> CoreExpr -> a Source #

subexprs :: CoreExpr -> [CoreExpr] Source #

sub :: Integral i => i -> CoreExpr -> [CoreExpr] Source #

branches :: CoreExpr -> [CoreExpr] Source #

bra :: Integral i => i -> CoreExpr -> [CoreExpr] Source #

parentsOfLeaves :: CoreExpr -> [CoreExpr] Source #

parentsOfLeaves collects branch nodes whose children are leaf nodes. This can be used for incremental learning.

pol :: Integral i => i -> CoreExpr -> [CoreExpr] Source #

args :: CoreExpr -> [CoreExpr] Source #

isALeaf :: CoreExpr -> Bool Source #

ceToPriority :: VarPriorityLib -> CoreExpr -> Int Source #

exprToTHExp :: VarLib -> CoreExpr -> Exp Source #

exprToTHExpLite :: VarLib -> CoreExpr -> Exp Source #

exprToTHExp' :: Bool -> Array Var Dynamic -> CoreExpr -> Exp Source #

funOccursIn :: Int8 -> CoreExpr -> Bool Source #

lightBeta :: CoreExpr -> CoreExpr Source #

replace :: Int8 -> Int8 -> CoreExpr -> CoreExpr Source #

liftFun :: Int8 -> CoreExpr -> CoreExpr Source #

nlift :: Int8 -> Int8 -> CoreExpr -> CoreExpr Source #

nliftInt :: Int8 -> Int8 -> Int8 -> Int8 Source #

napply :: Integral i => i -> (a -> a) -> a -> a Source #

type Primitive = (HValue, Exp, Type) Source #

newtype HValue Source #

Constructors

HV (forall a. a)

primitivesToTCL :: [Primitive] -> TyConLib Source #

primitivesToVL :: TyConLib -> [Primitive] -> VarLib Source #

dynamicsToVL :: [Dynamic] -> VarLib Source #

dynamicsToVL is useful for incremental learning.

prioritiesToVPL :: [Int] -> VarPriorityLib Source #

listToArray :: (Integral i, Ix i) => [a] -> Array i a Source #

primitiveToDynamic :: TyConLib -> Primitive -> Dynamic Source #

defaultVarLib :: VarLib Source #

defaultVarLib can be used as a VarLib for testing and debugging. Currently this is used only by the analytical synthesizer.

lenDefaultPrimitives :: Integer Source #

defaultPrimitives :: [Dynamic] Source #

defaultPrimitives is the set of primitives that we want to make sure to appear in VarLib but may not appear in the primitive set with which to synthesize. In other words, it is the set of primitives we want to make sure to assign IDs to.

Orphan instances

Read Exp Source #
Instance details Methods readsPrec :: Int -> ReadS Exp # readList :: ReadS [Exp] # readPrec :: ReadPrec Exp # readListPrec :: ReadPrec [Exp] #