docs.json

{"reExports":[],"name":"RoleAnnotationDocs","comments":null,"declarations":[{"kind":{"kind":{"annotation":[],"tag":"ForAll","contents":["k1",{"annotation":[],"tag":"ForAll","contents":["k2",{"annotation":[],"tag":"ForAll","contents":["k3",{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[],"tag":"TypeVar","contents":"k1"}]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[],"tag":"TypeVar","contents":"k2"}]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[],"tag":"TypeVar","contents":"k3"}]},{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Type"]}]}]}]},null]},null]},null]},"keyword":"data"},"children":[{"comments":null,"title":"D_RNP","info":{"arguments":[],"declType":"dataConstructor"},"sourceSpan":null}],"comments":null,"title":"D_RNP","info":{"roles":["Representational","Nominal","Phantom"],"declType":"data","dataDeclType":"data","typeArguments":[["a",null],["b",null],["c",null]]},"sourceSpan":{"start":[3,1],"name":"/home/jordan/Programming/Projects/purescript/tests/purs/docs/src/RoleAnnotationDocs.purs","end":[3,25]}},{"kind":{"kind":{"annotation":[],"tag":"ForAll","contents":["k1",{"annotation":[],"tag":"ForAll","contents":["k2",{"annotation":[],"tag":"ForAll","contents":["k3",{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[],"tag":"TypeVar","contents":"k1"}]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[],"tag":"TypeVar","contents":"k2"}]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[],"tag":"TypeVar","contents":"k3"}]},{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Type"]}]}]}]},null]},null]},null]},"keyword":"data"},"children":[{"comments":null,"title":"D_NPR","info":{"arguments":[],"declType":"dataConstructor"},"sourceSpan":null}],"comments":null,"title":"D_NPR","info":{"roles":["Nominal","Phantom","Representational"],"declType":"data","dataDeclType":"data","typeArguments":[["a",null],["b",null],["c",null]]},"sourceSpan":{"start":[6,1],"name":"/home/jordan/Programming/Projects/purescript/tests/purs/docs/src/RoleAnnotationDocs.purs","end":[6,25]}},{"kind":{"kind":{"annotation":[],"tag":"ForAll","contents":["k1",{"annotation":[],"tag":"ForAll","contents":["k2",{"annotation":[],"tag":"ForAll","contents":["k3",{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[],"tag":"TypeVar","contents":"k1"}]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[],"tag":"TypeVar","contents":"k2"}]},{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeApp","contents":[{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[],"tag":"TypeVar","contents":"k3"}]},{"annotation":[],"tag":"TypeConstructor","contents":[["Prim"],"Type"]}]}]}]},null]},null]},null]},"keyword":"data"},"children":[{"comments":null,"title":"D_PRN","info":{"arguments":[],"declType":"dataConstructor"},"sourceSpan":null}],"comments":null,"title":"D_PRN","info":{"roles":["Phantom","Representational","Nominal"],"declType":"data","dataDeclType":"data","typeArguments":[["a",null],["b",null],["c",null]]},"sourceSpan":{"start":[9,1],"name":"/home/jordan/Programming/Projects/purescript/tests/purs/docs/src/RoleAnnotationDocs.purs","end":[9,25]}},{"kind":null,"children":[],"comments":null,"title":"E_NNN","info":{"roles":["Nominal","Nominal","Nominal"],"declType":"data","dataDeclType":"data","typeArguments":[["t0",null],["t1",null],["t2",null]]},"sourceSpan":{"start":[12,1],"name":"/home/jordan/Programming/Projects/purescript/tests/purs/docs/src/RoleAnnotationDocs.purs","end":[12,58]}},{"kind":null,"children":[],"comments":null,"title":"E_RNP","info":{"roles":["Representational","Nominal","Phantom"],"declType":"data","dataDeclType":"data","typeArguments":[["t0",null],["t1",null],["t2",null]]},"sourceSpan":{"start":[14,1],"name":"/home/jordan/Programming/Projects/purescript/tests/purs/docs/src/RoleAnnotationDocs.purs","end":[14,58]}}]}