ddc-core-flow-0.4.2.1: Disciplined Disciple Compiler data flow compiler.

Safe HaskellNone
LanguageHaskell98

DDC.Core.Flow.Exp

Documentation

module DDC.Core.Exp.Simple.Exp

type KindEnvF = Env Name Source

type TypeEnvF = Env Name Source

type TypeF = Type Name Source

type ModuleF = Module () Name Source

type ExpF = Exp () Name Source

type CastF = Cast () Name Source

type LetsF = Lets () Name Source

type AltF = Alt () Name Source

type PatF = Pat Name Source

type WitnessF = Witness () Name Source

type BoundF = Bound Name Source

type BindF = Bind Name Source