project-m36-0.5.1: 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 #