project-m36-0.9.6: Relational Algebra Engine
Safe HaskellNone
LanguageHaskell2010

ProjectM36.DataConstructorDef

Documentation

emptyDataConstructor :: DataConstructorName -> DataConstructorDef Source #

name :: DataConstructorDef -> DataConstructorName Source #

fields :: DataConstructorDef -> [DataConstructorDefArg] Source #

typeVars :: DataConstructorDef -> Set TypeVarName Source #

typeVarsInDefArg :: DataConstructorDefArg -> Set TypeVarName Source #