singletons-1.0: tests/compile-and-dump/GradingClient/Main.ghc78.template
GradingClient/Main.hs:0:0: Splicing declarations
singletons
[d| lastName, majorName, gradeName, yearName, firstName :: [AChar]
lastName = [CL, CA, CS, CT]
firstName = [CF, CI, CR, CS, CT]
yearName = [CY, CE, CA, CR]
gradeName = [CG, CR, CA, CD, CE]
majorName = [CM, CA, CJ, CO, CR]
gradingSchema :: Schema
gradingSchema
= Sch
[Attr lastName STRING, Attr firstName STRING, Attr yearName NAT,
Attr gradeName NAT, Attr majorName BOOL]
names :: Schema
names = Sch [Attr firstName STRING, Attr lastName STRING] |]
======>
GradingClient/Main.hs:(0,0)-(0,0)
lastName :: [AChar]
majorName :: [AChar]
gradeName :: [AChar]
yearName :: [AChar]
firstName :: [AChar]
lastName = [CL, CA, CS, CT]
firstName = [CF, CI, CR, CS, CT]
yearName = [CY, CE, CA, CR]
gradeName = [CG, CR, CA, CD, CE]
majorName = [CM, CA, CJ, CO, CR]
gradingSchema :: Schema
gradingSchema
= Sch
[Attr lastName STRING, Attr firstName STRING, Attr yearName NAT,
Attr gradeName NAT, Attr majorName BOOL]
names :: Schema
names = Sch [Attr firstName STRING, Attr lastName STRING]
type MajorNameSym0 = MajorName
type GradeNameSym0 = GradeName
type YearNameSym0 = YearName
type FirstNameSym0 = FirstName
type LastNameSym0 = LastName
type GradingSchemaSym0 = GradingSchema
type NamesSym0 = Names
type MajorName =
(Apply (Apply (:$) CMSym0) (Apply (Apply (:$) CASym0) (Apply (Apply (:$) CJSym0) (Apply (Apply (:$) COSym0) (Apply (Apply (:$) CRSym0) GHC.Types.[])))) :: GHC.Types.[] AChar)
type GradeName =
(Apply (Apply (:$) CGSym0) (Apply (Apply (:$) CRSym0) (Apply (Apply (:$) CASym0) (Apply (Apply (:$) CDSym0) (Apply (Apply (:$) CESym0) GHC.Types.[])))) :: GHC.Types.[] AChar)
type YearName =
(Apply (Apply (:$) CYSym0) (Apply (Apply (:$) CESym0) (Apply (Apply (:$) CASym0) (Apply (Apply (:$) CRSym0) GHC.Types.[]))) :: GHC.Types.[] AChar)
type FirstName =
(Apply (Apply (:$) CFSym0) (Apply (Apply (:$) CISym0) (Apply (Apply (:$) CRSym0) (Apply (Apply (:$) CSSym0) (Apply (Apply (:$) CTSym0) GHC.Types.[])))) :: GHC.Types.[] AChar)
type LastName =
(Apply (Apply (:$) CLSym0) (Apply (Apply (:$) CASym0) (Apply (Apply (:$) CSSym0) (Apply (Apply (:$) CTSym0) GHC.Types.[]))) :: GHC.Types.[] AChar)
type GradingSchema =
(Apply SchSym0 (Apply (Apply (:$) (Apply (Apply AttrSym0 LastNameSym0) STRINGSym0)) (Apply (Apply (:$) (Apply (Apply AttrSym0 FirstNameSym0) STRINGSym0)) (Apply (Apply (:$) (Apply (Apply AttrSym0 YearNameSym0) NATSym0)) (Apply (Apply (:$) (Apply (Apply AttrSym0 GradeNameSym0) NATSym0)) (Apply (Apply (:$) (Apply (Apply AttrSym0 MajorNameSym0) BOOLSym0)) GHC.Types.[]))))) :: Schema)
type Names =
(Apply SchSym0 (Apply (Apply (:$) (Apply (Apply AttrSym0 FirstNameSym0) STRINGSym0)) (Apply (Apply (:$) (Apply (Apply AttrSym0 LastNameSym0) STRINGSym0)) GHC.Types.[])) :: Schema)
sMajorName :: Sing MajorNameSym0
sGradeName :: Sing GradeNameSym0
sYearName :: Sing YearNameSym0
sFirstName :: Sing FirstNameSym0
sLastName :: Sing LastNameSym0
sGradingSchema :: Sing GradingSchemaSym0
sNames :: Sing NamesSym0
sMajorName
= applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCM)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCA)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCJ)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCO)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCR) SNil))))
sGradeName
= applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCG)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCR)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCA)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCD)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCE) SNil))))
sYearName
= applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCY)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCE)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCA)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCR) SNil)))
sFirstName
= applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCF)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCI)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCR)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCS)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCT) SNil))))
sLastName
= applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCL)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCA)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCS)
(applySing
(applySing (singFun2 (Proxy :: Proxy (:$)) SCons) SCT) SNil)))
sGradingSchema
= applySing
(singFun1 (Proxy :: Proxy SchSym0) SSch)
(applySing
(applySing
(singFun2 (Proxy :: Proxy (:$)) SCons)
(applySing
(applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sLastName)
SSTRING))
(applySing
(applySing
(singFun2 (Proxy :: Proxy (:$)) SCons)
(applySing
(applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sFirstName)
SSTRING))
(applySing
(applySing
(singFun2 (Proxy :: Proxy (:$)) SCons)
(applySing
(applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sYearName)
SNAT))
(applySing
(applySing
(singFun2 (Proxy :: Proxy (:$)) SCons)
(applySing
(applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sGradeName)
SNAT))
(applySing
(applySing
(singFun2 (Proxy :: Proxy (:$)) SCons)
(applySing
(applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sMajorName)
SBOOL))
SNil)))))
sNames
= applySing
(singFun1 (Proxy :: Proxy SchSym0) SSch)
(applySing
(applySing
(singFun2 (Proxy :: Proxy (:$)) SCons)
(applySing
(applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sFirstName)
SSTRING))
(applySing
(applySing
(singFun2 (Proxy :: Proxy (:$)) SCons)
(applySing
(applySing (singFun2 (Proxy :: Proxy AttrSym0) SAttr) sLastName)
SSTRING))
SNil))