lambdacube-core-0.2.0: LambdaCube 3D IR

Safe HaskellNone
LanguageHaskell2010

LambdaCube.Core.DeBruijn

Documentation

type ExpId = Int Source

data DAG Source

Constructors

DAG 

Fields

dagExp :: BiMap Exp
 
dagTy :: IntMap Ty
 
dagCount :: IntMap Int
 
expUniverseV :: Vector [Exp]
 
gpUniverseV :: Vector [Exp]
 

Instances

expUniverse :: Int -> Exp -> Vector IntSet -> IntSet Source

mkExpUni :: DAG -> Vector [Exp] Source

gpUniverse :: Int -> Exp -> Vector IntSet -> IntSet Source

mkGPUni :: DAG -> Vector [Exp] Source

emptyDAG :: DAG Source

hashcons :: Ty -> Exp -> State DAG ExpId Source

toExp :: DAG -> ExpId -> Exp Source

toExpId :: DAG -> Exp -> ExpId Source

expIdType :: DAG -> ExpId -> Ty Source

expType :: DAG -> Exp -> Ty Source

expIdCount :: DAG -> ExpId -> Int Source

expCount :: DAG -> Exp -> Int Source

data Exp Source

Constructors

Lam !ExpId 
Body !ExpId 
Var Int String 
Apply !ExpId !ExpId 
Const !Value 
PrimVar !ByteString 
Uni !ByteString 
Tup [ExpId] 
Prj Int !ExpId 
Cond !ExpId !ExpId !ExpId 
PrimApp !PrimFun !ExpId 
Sampler !Filter !EdgeMode !ExpId 
Loop !ExpId !ExpId !ExpId !ExpId 
VertexOut !ExpId !ExpId [ExpId] [ExpId] 
GeometryOut !ExpId !ExpId !ExpId [ExpId] [ExpId] 
FragmentOut [ExpId] 
FragmentOutDepth !ExpId [ExpId] 
FragmentOutRastDepth [ExpId] 
Fetch ByteString FetchPrimitive [(ByteString, InputType)] 
Transform !ExpId !ExpId 
Reassemble !ExpId !ExpId 
Rasterize RasterContext !ExpId 
FrameBuffer [Image] 
Accumulate !ExpId !ExpId !ExpId !ExpId !ExpId 
PrjFrameBuffer ByteString Int !ExpId 
PrjImage ByteString Int !ExpId 
TextureSlot ByteString TextureType 
Texture TextureType Value MipMap [ExpId] 
Flat !ExpId 
Smooth !ExpId 
NoPerspective !ExpId 
GeometryShader Int OutputPrimitive Int !ExpId !ExpId !ExpId 
PassAll 
Filter !ExpId 
SamplerOut ByteString !ExpId 
ScreenOut !ExpId 
MultiOut [ExpId] 
AccumulationContext !(Maybe ExpId) [FragmentOperation] 

Instances

class ExpC exp where Source

Methods

let_ :: exp -> (exp -> exp) -> exp Source

lam :: Ty -> exp -> exp Source

body :: exp -> exp Source

var :: Ty -> Int -> String -> exp Source

apply :: Ty -> exp -> exp -> exp Source

const_ :: Ty -> Value -> exp Source

primVar :: Ty -> ByteString -> exp Source

uni :: Ty -> ByteString -> exp Source

tup :: Ty -> [exp] -> exp Source

prj :: Ty -> Int -> exp -> exp Source

cond :: Ty -> exp -> exp -> exp -> exp Source

primApp :: Ty -> PrimFun -> exp -> exp Source

sampler :: Ty -> Filter -> EdgeMode -> exp -> exp Source

loop :: Ty -> exp -> exp -> exp -> exp -> exp Source

vertexOut :: exp -> exp -> [exp] -> [exp] -> exp Source

geometryOut :: exp -> exp -> exp -> [exp] -> [exp] -> exp Source

fragmentOut :: [exp] -> exp Source

fragmentOutDepth :: exp -> [exp] -> exp Source

fragmentOutRastDepth :: [exp] -> exp Source

fetch :: ByteString -> FetchPrimitive -> [(ByteString, InputType)] -> exp Source

transform :: exp -> exp -> exp Source

reassemble :: exp -> exp -> exp Source

rasterize :: RasterContext -> exp -> exp Source

frameBuffer :: [Image] -> exp Source

accumulationContext :: Maybe exp -> [FragmentOperation] -> exp Source

accumulate :: exp -> exp -> exp -> exp -> exp -> exp Source

prjFrameBuffer :: ByteString -> Int -> exp -> exp Source

prjImage :: ByteString -> Int -> exp -> exp Source

textureSlot :: ByteString -> TextureType -> exp Source

texture :: TextureType -> Value -> MipMap -> [exp] -> exp Source

flat :: exp -> exp Source

smooth :: exp -> exp Source

noPerspective :: exp -> exp Source

geometryShader :: Int -> OutputPrimitive -> Int -> exp -> exp -> exp -> exp Source

passAll :: exp Source

filter_ :: exp -> exp Source

samplerOut :: ByteString -> exp -> exp Source

screenOut :: exp -> exp Source

multiOut :: [exp] -> exp Source

Instances

newtype N Source

Constructors

N 

Fields

unN :: State DAG ExpId
 

Instances