project-m36-1.1.0: Relational Algebra Engine
Safe HaskellSafe-Inferred
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 #