Type.Spine.Stage0

Documentation

type family Spine t

data TypeName x

TypeName represents an occurrence of totally unapplied type name.

data KS t

data KTSS t

data KTTSSS t

data KTTSTSSS t

data KTSTSS t

data KTTSSTSS t

data KTTSTSSTSS t

data KTSTTSSS t

data KTTSSTTSSS t

data KTTSTSSTTSSS t

data KTSTTSTSSS t

data KTTSSTTSTSSS t

data KTTSTSSTTSTSSS t

data KTSTSTSS t

data KTTSSTSTSS t

data KTTSTSSTSTSS t

data KTSTTSSTSS t

data KTTSSTTSSTSS t

data KTTSTSSTTSSTSS t

data KTSTTSTSSTSS t

data KTTSSTTSTSSTSS t

data KTTSTSSTTSTSSTSS t

data KTSTSTTSSS t

data KTTSSTSTTSSS t

data KTTSTSSTSTTSSS t

data KTSTTSSTTSSS t

data KTTSSTTSSTTSSS t

data KTTSTSSTTSSTTSSS t

data KTSTTSTSSTTSSS t

data KTTSSTTSTSSTTSSS t

data KTTSTSSTTSTSSTTSSS t

data KTSTSTTSTSSS t

data KTTSSTSTTSTSSS t

data KTTSTSSTSTTSTSSS t

data KTSTTSSTTSTSSS t

data KTTSSTTSSTTSTSSS t

data KTTSTSSTTSSTTSTSSS t

data KTSTTSTSSTTSTSSS t

data KTTSSTTSTSSTTSTSSS t

data KTTSTSSTTSTSSTTSTSSS t

data KTSTSTSTSS t

data KTTSSTSTSTSS t

data KTTSTSSTSTSTSS t

data KTSTTSSTSTSS t

data KTTSSTTSSTSTSS t

data KTTSTSSTTSSTSTSS t

data KTSTTSTSSTSTSS t

data KTTSSTTSTSSTSTSS t

data KTTSTSSTTSTSSTSTSS t

data KTSTSTTSSTSS t

data KTTSSTSTTSSTSS t

data KTTSTSSTSTTSSTSS t

data KTSTTSSTTSSTSS t

data KTTSSTTSSTTSSTSS t

data KTTSTSSTTSSTTSSTSS t

data KTSTTSTSSTTSSTSS t

data KTTSSTTSTSSTTSSTSS t

data KTTSTSSTTSTSSTTSSTSS t

data KTSTSTTSTSSTSS t

data KTTSSTSTTSTSSTSS t

data KTTSTSSTSTTSTSSTSS t

data KTSTTSSTTSTSSTSS t

data KTTSSTTSSTTSTSSTSS t

data KTTSTSSTTSSTTSTSSTSS t

data KTSTTSTSSTTSTSSTSS t

data KTTSSTTSTSSTTSTSSTSS t

data KTTSTSSTTSTSSTTSTSSTSS t

data KTSTSTSTTSSS t

data KTTSSTSTSTTSSS t

data KTTSTSSTSTSTTSSS t

data KTSTTSSTSTTSSS t

data KTTSSTTSSTSTTSSS t

data KTTSTSSTTSSTSTTSSS t

data KTSTTSTSSTSTTSSS t

data KTTSSTTSTSSTSTTSSS t

data KTTSTSSTTSTSSTSTTSSS t

data KTSTSTTSSTTSSS t

data KTTSSTSTTSSTTSSS t

data KTTSTSSTSTTSSTTSSS t

data KTSTTSSTTSSTTSSS t

data KTTSSTTSSTTSSTTSSS t

data KTTSTSSTTSSTTSSTTSSS t

data KTSTTSTSSTTSSTTSSS t

data KTTSSTTSTSSTTSSTTSSS t

data KTTSTSSTTSTSSTTSSTTSSS t

data KTSTSTTSTSSTTSSS t

data KTTSSTSTTSTSSTTSSS t

data KTTSTSSTSTTSTSSTTSSS t

data KTSTTSSTTSTSSTTSSS t

data KTTSSTTSSTTSTSSTTSSS t

data KTTSTSSTTSSTTSTSSTTSSS t

data KTSTTSTSSTTSTSSTTSSS t

data KTTSSTTSTSSTTSTSSTTSSS t

data KTTSTSSTTSTSSTTSTSSTTSSS t

data KTSTSTSTTSTSSS t

data KTTSSTSTSTTSTSSS t

data KTTSTSSTSTSTTSTSSS t

data KTSTTSSTSTTSTSSS t

data KTTSSTTSSTSTTSTSSS t

data KTTSTSSTTSSTSTTSTSSS t

data KTSTTSTSSTSTTSTSSS t

data KTTSSTTSTSSTSTTSTSSS t

data KTTSTSSTTSTSSTSTTSTSSS t

data KTSTSTTSSTTSTSSS t

data KTTSSTSTTSSTTSTSSS t

data KTTSTSSTSTTSSTTSTSSS t

data KTSTTSSTTSSTTSTSSS t

data KTTSSTTSSTTSSTTSTSSS t

data KTTSTSSTTSSTTSSTTSTSSS t

data KTSTTSTSSTTSSTTSTSSS t

data KTTSSTTSTSSTTSSTTSTSSS t

data KTTSTSSTTSTSSTTSSTTSTSSS t

data KTSTSTTSTSSTTSTSSS t

data KTTSSTSTTSTSSTTSTSSS t

data KTTSTSSTSTTSTSSTTSTSSS t

data KTSTTSSTTSTSSTTSTSSS t

data KTTSSTTSSTTSTSSTTSTSSS t

data KTTSTSSTTSSTTSTSSTTSTSSS t

data KTSTTSTSSTTSTSSTTSTSSS t

data KTTSSTTSTSSTTSTSSTTSTSSS t

data KTTSTSSTTSTSSTTSTSSTTSTSSS t

data KTSTSTSTSTSS t

data KTTSSTSTSTSTSS t

data KTTSTSSTSTSTSTSS t

data KTSTTSSTSTSTSS t

data KTTSSTTSSTSTSTSS t

data KTTSTSSTTSSTSTSTSS t

data KTSTTSTSSTSTSTSS t

data KTTSSTTSTSSTSTSTSS t

data KTTSTSSTTSTSSTSTSTSS t

data KTSTSTTSSTSTSS t

data KTTSSTSTTSSTSTSS t

data KTTSTSSTSTTSSTSTSS t

data KTSTTSSTTSSTSTSS t

data KTTSSTTSSTTSSTSTSS t

data KTTSTSSTTSSTTSSTSTSS t

data KTSTTSTSSTTSSTSTSS t

data KTTSSTTSTSSTTSSTSTSS t

data KTTSTSSTTSTSSTTSSTSTSS t

data KTSTSTTSTSSTSTSS t

data KTTSSTSTTSTSSTSTSS t

data KTTSTSSTSTTSTSSTSTSS t

data KTSTTSSTTSTSSTSTSS t

data KTTSSTTSSTTSTSSTSTSS t

data KTTSTSSTTSSTTSTSSTSTSS t

data KTSTTSTSSTTSTSSTSTSS t

data KTTSSTTSTSSTTSTSSTSTSS t

data KTTSTSSTTSTSSTTSTSSTSTSS t

data KTSTSTSTTSSTSS t

data KTTSSTSTSTTSSTSS t

data KTTSTSSTSTSTTSSTSS t

data KTSTTSSTSTTSSTSS t

data KTTSSTTSSTSTTSSTSS t

data KTTSTSSTTSSTSTTSSTSS t

data KTSTTSTSSTSTTSSTSS t

data KTTSSTTSTSSTSTTSSTSS t

data KTTSTSSTTSTSSTSTTSSTSS t

data KTSTSTTSSTTSSTSS t

data KTTSSTSTTSSTTSSTSS t

data KTTSTSSTSTTSSTTSSTSS t

data KTSTTSSTTSSTTSSTSS t

data KTTSSTTSSTTSSTTSSTSS t

data KTTSTSSTTSSTTSSTTSSTSS t

data KTSTTSTSSTTSSTTSSTSS t

data KTTSSTTSTSSTTSSTTSSTSS t

data KTTSTSSTTSTSSTTSSTTSSTSS t

data KTSTSTTSTSSTTSSTSS t

data KTTSSTSTTSTSSTTSSTSS t

data KTTSTSSTSTTSTSSTTSSTSS t

data KTSTTSSTTSTSSTTSSTSS t

data KTTSSTTSSTTSTSSTTSSTSS t

data KTTSTSSTTSSTTSTSSTTSSTSS t

data KTSTTSTSSTTSTSSTTSSTSS t

data KTTSSTTSTSSTTSTSSTTSSTSS t

data KTTSTSSTTSTSSTTSTSSTTSSTSS t

data KTSTSTSTTSTSSTSS t

data KTTSSTSTSTTSTSSTSS t

data KTTSTSSTSTSTTSTSSTSS t

data KTSTTSSTSTTSTSSTSS t

data KTTSSTTSSTSTTSTSSTSS t

data KTTSTSSTTSSTSTTSTSSTSS t

data KTSTTSTSSTSTTSTSSTSS t

data KTTSSTTSTSSTSTTSTSSTSS t

data KTTSTSSTTSTSSTSTTSTSSTSS t

data KTSTSTTSSTTSTSSTSS t

data KTTSSTSTTSSTTSTSSTSS t

data KTTSTSSTSTTSSTTSTSSTSS t

data KTSTTSSTTSSTTSTSSTSS t

data KTTSSTTSSTTSSTTSTSSTSS t

data KTTSTSSTTSSTTSSTTSTSSTSS t

data KTSTTSTSSTTSSTTSTSSTSS t

data KTTSSTTSTSSTTSSTTSTSSTSS t

data KTTSTSSTTSTSSTTSSTTSTSSTSS t

data KTSTSTTSTSSTTSTSSTSS t

data KTTSSTSTTSTSSTTSTSSTSS t

data KTTSTSSTSTTSTSSTTSTSSTSS t

data KTSTTSSTTSTSSTTSTSSTSS t

data KTTSSTTSSTTSTSSTTSTSSTSS t

data KTTSTSSTTSSTTSTSSTTSTSSTSS t

data KTSTTSTSSTTSTSSTTSTSSTSS t

data KTTSSTTSTSSTTSTSSTTSTSSTSS t

data KTTSTSSTTSTSSTTSTSSTTSTSSTSS t

data KTSTSTSTSTTSSS t

data KTTSSTSTSTSTTSSS t

data KTTSTSSTSTSTSTTSSS t

data KTSTTSSTSTSTTSSS t

data KTTSSTTSSTSTSTTSSS t

data KTTSTSSTTSSTSTSTTSSS t

data KTSTTSTSSTSTSTTSSS t

data KTTSSTTSTSSTSTSTTSSS t

data KTTSTSSTTSTSSTSTSTTSSS t

data KTSTSTTSSTSTTSSS t

data KTTSSTSTTSSTSTTSSS t

data KTTSTSSTSTTSSTSTTSSS t

data KTSTTSSTTSSTSTTSSS t

data KTTSSTTSSTTSSTSTTSSS t

data KTTSTSSTTSSTTSSTSTTSSS t

data KTSTTSTSSTTSSTSTTSSS t

data KTTSSTTSTSSTTSSTSTTSSS t

data KTTSTSSTTSTSSTTSSTSTTSSS t

data KTSTSTTSTSSTSTTSSS t

data KTTSSTSTTSTSSTSTTSSS t

data KTTSTSSTSTTSTSSTSTTSSS t

data KTSTTSSTTSTSSTSTTSSS t

data KTTSSTTSSTTSTSSTSTTSSS t

data KTTSTSSTTSSTTSTSSTSTTSSS t

data KTSTTSTSSTTSTSSTSTTSSS t

data KTTSSTTSTSSTTSTSSTSTTSSS t

data KTTSTSSTTSTSSTTSTSSTSTTSSS t

data KTSTSTSTTSSTTSSS t

data KTTSSTSTSTTSSTTSSS t

data KTTSTSSTSTSTTSSTTSSS t

data KTSTTSSTSTTSSTTSSS t

data KTTSSTTSSTSTTSSTTSSS t

data KTTSTSSTTSSTSTTSSTTSSS t

data KTSTTSTSSTSTTSSTTSSS t

data KTTSSTTSTSSTSTTSSTTSSS t

data KTTSTSSTTSTSSTSTTSSTTSSS t

data KTSTSTTSSTTSSTTSSS t

data KTTSSTSTTSSTTSSTTSSS t

data KTTSTSSTSTTSSTTSSTTSSS t

data KTSTTSSTTSSTTSSTTSSS t

data KTTSSTTSSTTSSTTSSTTSSS t

data KTTSTSSTTSSTTSSTTSSTTSSS t

data KTSTTSTSSTTSSTTSSTTSSS t

data KTTSSTTSTSSTTSSTTSSTTSSS t

data KTTSTSSTTSTSSTTSSTTSSTTSSS t

data KTSTSTTSTSSTTSSTTSSS t

data KTTSSTSTTSTSSTTSSTTSSS t

data KTTSTSSTSTTSTSSTTSSTTSSS t

data KTSTTSSTTSTSSTTSSTTSSS t

data KTTSSTTSSTTSTSSTTSSTTSSS t

data KTTSTSSTTSSTTSTSSTTSSTTSSS t

data KTSTTSTSSTTSTSSTTSSTTSSS t

data KTTSSTTSTSSTTSTSSTTSSTTSSS t

data KTTSTSSTTSTSSTTSTSSTTSSTTSSS t

data KTSTSTSTTSTSSTTSSS t

data KTTSSTSTSTTSTSSTTSSS t

data KTTSTSSTSTSTTSTSSTTSSS t

data KTSTTSSTSTTSTSSTTSSS t

data KTTSSTTSSTSTTSTSSTTSSS t

data KTTSTSSTTSSTSTTSTSSTTSSS t

data KTSTTSTSSTSTTSTSSTTSSS t

data KTTSSTTSTSSTSTTSTSSTTSSS t

data KTTSTSSTTSTSSTSTTSTSSTTSSS t

data KTSTSTTSSTTSTSSTTSSS t

data KTTSSTSTTSSTTSTSSTTSSS t

data KTTSTSSTSTTSSTTSTSSTTSSS t

data KTSTTSSTTSSTTSTSSTTSSS t

data KTTSSTTSSTTSSTTSTSSTTSSS t

data KTTSTSSTTSSTTSSTTSTSSTTSSS t

data KTSTTSTSSTTSSTTSTSSTTSSS t

data KTTSSTTSTSSTTSSTTSTSSTTSSS t

data KTTSTSSTTSTSSTTSSTTSTSSTTSSS t

data KTSTSTTSTSSTTSTSSTTSSS t

data KTTSSTSTTSTSSTTSTSSTTSSS t

data KTTSTSSTSTTSTSSTTSTSSTTSSS t

data KTSTTSSTTSTSSTTSTSSTTSSS t

data KTTSSTTSSTTSTSSTTSTSSTTSSS t

data KTTSTSSTTSSTTSTSSTTSTSSTTSSS t

data KTSTTSTSSTTSTSSTTSTSSTTSSS t

data KTTSSTTSTSSTTSTSSTTSTSSTTSSS t

data KTTSTSSTTSTSSTTSTSSTTSTSSTTSSS t

data KTSTSTSTSTTSTSSS t

data KTTSSTSTSTSTTSTSSS t

data KTTSTSSTSTSTSTTSTSSS t

data KTSTTSSTSTSTTSTSSS t

data KTTSSTTSSTSTSTTSTSSS t

data KTTSTSSTTSSTSTSTTSTSSS t

data KTSTTSTSSTSTSTTSTSSS t

data KTTSSTTSTSSTSTSTTSTSSS t

data KTTSTSSTTSTSSTSTSTTSTSSS t

data KTSTSTTSSTSTTSTSSS t

data KTTSSTSTTSSTSTTSTSSS t

data KTTSTSSTSTTSSTSTTSTSSS t

data KTSTTSSTTSSTSTTSTSSS t

data KTTSSTTSSTTSSTSTTSTSSS t

data KTTSTSSTTSSTTSSTSTTSTSSS t

data KTSTTSTSSTTSSTSTTSTSSS t

data KTTSSTTSTSSTTSSTSTTSTSSS t

data KTTSTSSTTSTSSTTSSTSTTSTSSS t

data KTSTSTTSTSSTSTTSTSSS t

data KTTSSTSTTSTSSTSTTSTSSS t

data KTTSTSSTSTTSTSSTSTTSTSSS t

data KTSTTSSTTSTSSTSTTSTSSS t

data KTTSSTTSSTTSTSSTSTTSTSSS t

data KTTSTSSTTSSTTSTSSTSTTSTSSS t

data KTSTTSTSSTTSTSSTSTTSTSSS t

data KTTSSTTSTSSTTSTSSTSTTSTSSS t

data KTTSTSSTTSTSSTTSTSSTSTTSTSSS t

data KTSTSTSTTSSTTSTSSS t

data KTTSSTSTSTTSSTTSTSSS t

data KTTSTSSTSTSTTSSTTSTSSS t

data KTSTTSSTSTTSSTTSTSSS t

data KTTSSTTSSTSTTSSTTSTSSS t

data KTTSTSSTTSSTSTTSSTTSTSSS t

data KTSTTSTSSTSTTSSTTSTSSS t

data KTTSSTTSTSSTSTTSSTTSTSSS t

data KTTSTSSTTSTSSTSTTSSTTSTSSS t

data KTSTSTTSSTTSSTTSTSSS t

data KTTSSTSTTSSTTSSTTSTSSS t

data KTTSTSSTSTTSSTTSSTTSTSSS t

data KTSTTSSTTSSTTSSTTSTSSS t

data KTTSSTTSSTTSSTTSSTTSTSSS t

data KTTSTSSTTSSTTSSTTSSTTSTSSS t

data KTSTTSTSSTTSSTTSSTTSTSSS t

data KTTSSTTSTSSTTSSTTSSTTSTSSS t

data KTTSTSSTTSTSSTTSSTTSSTTSTSSS t

data KTSTSTTSTSSTTSSTTSTSSS t

data KTTSSTSTTSTSSTTSSTTSTSSS t

data KTTSTSSTSTTSTSSTTSSTTSTSSS t

data KTSTTSSTTSTSSTTSSTTSTSSS t

data KTTSSTTSSTTSTSSTTSSTTSTSSS t

data KTTSTSSTTSSTTSTSSTTSSTTSTSSS t

data KTSTTSTSSTTSTSSTTSSTTSTSSS t

data KTTSSTTSTSSTTSTSSTTSSTTSTSSS t

data KTTSTSSTTSTSSTTSTSSTTSSTTSTSSS t

data KTSTSTSTTSTSSTTSTSSS t

data KTTSSTSTSTTSTSSTTSTSSS t

data KTTSTSSTSTSTTSTSSTTSTSSS t

data KTSTTSSTSTTSTSSTTSTSSS t

data KTTSSTTSSTSTTSTSSTTSTSSS t

data KTTSTSSTTSSTSTTSTSSTTSTSSS t

data KTSTTSTSSTSTTSTSSTTSTSSS t

data KTTSSTTSTSSTSTTSTSSTTSTSSS t

data KTTSTSSTTSTSSTSTTSTSSTTSTSSS t

data KTSTSTTSSTTSTSSTTSTSSS t

data KTTSSTSTTSSTTSTSSTTSTSSS t

data KTTSTSSTSTTSSTTSTSSTTSTSSS t

data KTSTTSSTTSSTTSTSSTTSTSSS t

data KTTSSTTSSTTSSTTSTSSTTSTSSS t

data KTTSTSSTTSSTTSSTTSTSSTTSTSSS t

data KTSTTSTSSTTSSTTSTSSTTSTSSS t

data KTTSSTTSTSSTTSSTTSTSSTTSTSSS t

data KTTSTSSTTSTSSTTSSTTSTSSTTSTSSS t

data KTSTSTTSTSSTTSTSSTTSTSSS t

data KTTSSTSTTSTSSTTSTSSTTSTSSS t

data KTTSTSSTSTTSTSSTTSTSSTTSTSSS t

data KTSTTSSTTSTSSTTSTSSTTSTSSS t

data KTTSSTTSSTTSTSSTTSTSSTTSTSSS t

data KTTSTSSTTSSTTSTSSTTSTSSTTSTSSS t

data KTSTTSTSSTTSTSSTTSTSSTTSTSSS t

data KTTSSTTSTSSTTSTSSTTSTSSTTSTSSS t

data KTTSTSSTTSTSSTTSTSSTTSTSSTTSTSSS t

kNameG :: Kind -> Q Name

kNameG k returns the globally unique name (i.e. TH's NameG) of the declared wrapper for types of kind k.

kTypeG :: Kind -> Q Type

kTypeG = conT <=< kNameG.

spineType :: Name -> Q [Dec]

spineType n generates the Spine instance for the type named n.

spineType_ :: Name -> [Kind] -> Kind -> Q [Dec]

spineType_ n ks k generates the Spine instance for the type named n with parameter kind ks and range kind k.