git.iko.soy/rowtype-yoga/psfp
on 134dc56 help sign in
1 line 18 kB history raw
1{"efVersion":"0.13.6","efModuleName":["Data","Interpolate"],"efExports":[{"TypeClassRef":[{"start":[24,1],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[103,56]},"Interp"]},{"ValueRef":[{"start":[24,1],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[103,56]},{"Ident":"interp"}]},{"ValueRef":[{"start":[24,1],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[103,56]},{"Ident":"i"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"interpString"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"interpStringFunction"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"interpBooleanFunction"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"interpIntFunction"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"interpNumberFunction"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"interpCharFunction"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"interpFailEverythingElse"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Semigroup"],"eiImportType":{"Explicit":[{"ValueOpRef":[{"start":[26,24],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[26,28]},"<>"]}]},"eiImportedAs":null},{"eiModule":["Data","Show"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[27,19],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[27,23]},{"Ident":"show"}]}]},"eiImportedAs":null},{"eiModule":["Prim","TypeError"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[28,24],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[28,34]},"Fail"]},{"TypeRef":[{"start":[28,36],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[28,40]},"Text",[]]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Interp","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[59,20],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,22]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Interp","edTypeSynonymArguments":[["a",null]],"edTypeSynonymType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["interp",{"annotation":[{"start":[59,13],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,24]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[59,13],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,24]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[59,20],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,22]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[59,13],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,19]},[]],"tag":"TypeConstructor","contents":[["Prim"],"String"]}]},{"annotation":[{"start":[59,23],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,24]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}}},{"EDClass":{"edClassName":"Interp","edClassTypeArguments":[["a",null]],"edClassMembers":[[{"Ident":"interp"},{"annotation":[{"start":[59,13],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,24]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[59,13],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,24]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[59,20],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,22]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[59,13],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,19]},[]],"tag":"TypeConstructor","contents":[["Prim"],"String"]}]},{"annotation":[{"start":[59,23],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,24]},[]],"tag":"TypeVar","contents":"a"}]}]],"edClassConstraints":[],"edFunctionalDependencies":[],"edIsEmpty":false}},{"EDValue":{"edValueName":{"Ident":"interp"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","Interpolate"],"Interp"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[59,13],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,24]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[59,13],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,24]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[59,20],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,22]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[59,13],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,19]},[]],"tag":"TypeConstructor","contents":[["Prim"],"String"]}]},{"annotation":[{"start":[59,23],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[59,24]},[]],"tag":"TypeVar","contents":"a"}]}]},3]}}},{"EDValue":{"edValueName":{"Ident":"i"},"edValueType":{"annotation":[{"start":[100,6],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[100,29]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[100,16],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[100,29]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[100,16],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[100,24]},[]],"constraintClass":[["Data","Interpolate"],"Interp"],"constraintArgs":[{"annotation":[{"start":[100,23],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[100,24]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[100,28],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[100,29]},[]],"tag":"TypeVar","contents":"a"}]},14]}}},{"EDInstance":{"edInstanceClassName":[["Data","Interpolate"],"Interp"],"edInstanceName":{"Ident":"interpString"},"edInstanceTypes":[{"annotation":[{"start":[61,33],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[61,39]},[]],"tag":"TypeConstructor","contents":[["Prim"],"String"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Interpolate"],{"Ident":"interpString"}],[["Data","Interpolate"],{"Ident":"interpStringFunction"}],[["Data","Interpolate"],{"Ident":"interpBooleanFunction"}],[["Data","Interpolate"],{"Ident":"interpIntFunction"}],[["Data","Interpolate"],{"Ident":"interpNumberFunction"}],[["Data","Interpolate"],{"Ident":"interpCharFunction"}],[["Data","Interpolate"],{"Ident":"interpFailEverythingElse"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Interpolate"],"Interp"],"edInstanceName":{"Ident":"interpStringFunction"},"edInstanceTypes":[{"annotation":[{"start":[63,59],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[63,70]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[63,59],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[63,70]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[63,66],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[63,68]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[63,59],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[63,65]},[]],"tag":"TypeConstructor","contents":[["Prim"],"String"]}]},{"annotation":[{"start":[63,69],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[63,70]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[63,39],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[63,47]},[]],"constraintClass":[["Data","Interpolate"],"Interp"],"constraintArgs":[{"annotation":[{"start":[63,46],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[63,47]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Interpolate"],{"Ident":"interpString"}],[["Data","Interpolate"],{"Ident":"interpStringFunction"}],[["Data","Interpolate"],{"Ident":"interpBooleanFunction"}],[["Data","Interpolate"],{"Ident":"interpIntFunction"}],[["Data","Interpolate"],{"Ident":"interpNumberFunction"}],[["Data","Interpolate"],{"Ident":"interpCharFunction"}],[["Data","Interpolate"],{"Ident":"interpFailEverythingElse"}]],"edInstanceChainIndex":1}},{"EDInstance":{"edInstanceClassName":[["Data","Interpolate"],"Interp"],"edInstanceName":{"Ident":"interpBooleanFunction"},"edInstanceTypes":[{"annotation":[{"start":[65,60],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[65,72]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,60],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[65,72]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[65,68],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[65,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[65,60],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[65,67]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]},{"annotation":[{"start":[65,71],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[65,72]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[65,40],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[65,48]},[]],"constraintClass":[["Data","Interpolate"],"Interp"],"constraintArgs":[{"annotation":[{"start":[65,47],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[65,48]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Interpolate"],{"Ident":"interpString"}],[["Data","Interpolate"],{"Ident":"interpStringFunction"}],[["Data","Interpolate"],{"Ident":"interpBooleanFunction"}],[["Data","Interpolate"],{"Ident":"interpIntFunction"}],[["Data","Interpolate"],{"Ident":"interpNumberFunction"}],[["Data","Interpolate"],{"Ident":"interpCharFunction"}],[["Data","Interpolate"],{"Ident":"interpFailEverythingElse"}]],"edInstanceChainIndex":2}},{"EDInstance":{"edInstanceClassName":[["Data","Interpolate"],"Interp"],"edInstanceName":{"Ident":"interpIntFunction"},"edInstanceTypes":[{"annotation":[{"start":[67,56],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[67,64]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[67,56],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[67,64]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[67,60],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[67,62]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[67,56],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[67,59]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"annotation":[{"start":[67,63],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[67,64]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[67,36],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[67,44]},[]],"constraintClass":[["Data","Interpolate"],"Interp"],"constraintArgs":[{"annotation":[{"start":[67,43],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[67,44]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Interpolate"],{"Ident":"interpString"}],[["Data","Interpolate"],{"Ident":"interpStringFunction"}],[["Data","Interpolate"],{"Ident":"interpBooleanFunction"}],[["Data","Interpolate"],{"Ident":"interpIntFunction"}],[["Data","Interpolate"],{"Ident":"interpNumberFunction"}],[["Data","Interpolate"],{"Ident":"interpCharFunction"}],[["Data","Interpolate"],{"Ident":"interpFailEverythingElse"}]],"edInstanceChainIndex":3}},{"EDInstance":{"edInstanceClassName":[["Data","Interpolate"],"Interp"],"edInstanceName":{"Ident":"interpNumberFunction"},"edInstanceTypes":[{"annotation":[{"start":[69,59],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[69,70]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[69,59],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[69,70]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[69,66],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[69,68]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[69,59],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[69,65]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"annotation":[{"start":[69,69],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[69,70]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[69,39],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[69,47]},[]],"constraintClass":[["Data","Interpolate"],"Interp"],"constraintArgs":[{"annotation":[{"start":[69,46],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[69,47]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Interpolate"],{"Ident":"interpString"}],[["Data","Interpolate"],{"Ident":"interpStringFunction"}],[["Data","Interpolate"],{"Ident":"interpBooleanFunction"}],[["Data","Interpolate"],{"Ident":"interpIntFunction"}],[["Data","Interpolate"],{"Ident":"interpNumberFunction"}],[["Data","Interpolate"],{"Ident":"interpCharFunction"}],[["Data","Interpolate"],{"Ident":"interpFailEverythingElse"}]],"edInstanceChainIndex":4}},{"EDInstance":{"edInstanceClassName":[["Data","Interpolate"],"Interp"],"edInstanceName":{"Ident":"interpCharFunction"},"edInstanceTypes":[{"annotation":[{"start":[71,57],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[71,66]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[71,57],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[71,66]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[71,62],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[71,64]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[71,57],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[71,61]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Char"]}]},{"annotation":[{"start":[71,65],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[71,66]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[71,37],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[71,45]},[]],"constraintClass":[["Data","Interpolate"],"Interp"],"constraintArgs":[{"annotation":[{"start":[71,44],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[71,45]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Interpolate"],{"Ident":"interpString"}],[["Data","Interpolate"],{"Ident":"interpStringFunction"}],[["Data","Interpolate"],{"Ident":"interpBooleanFunction"}],[["Data","Interpolate"],{"Ident":"interpIntFunction"}],[["Data","Interpolate"],{"Ident":"interpNumberFunction"}],[["Data","Interpolate"],{"Ident":"interpCharFunction"}],[["Data","Interpolate"],{"Ident":"interpFailEverythingElse"}]],"edInstanceChainIndex":5}},{"EDInstance":{"edInstanceClassName":[["Data","Interpolate"],"Interp"],"edInstanceName":{"Ident":"interpFailEverythingElse"},"edInstanceTypes":[{"annotation":[{"start":[90,15],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[90,27]},[]],"tag":"TypeVar","contents":"anythingElse"}],"edInstanceConstraints":[{"constraintAnn":[{"start":[83,43],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[90,4]},[]],"constraintClass":[["Prim","TypeError"],"Fail"],"constraintArgs":[{"annotation":[{"start":[84,3],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[89,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[84,3],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[84,7]},[]],"tag":"TypeConstructor","contents":[["Prim","TypeError"],"Text"]},{"annotation":[{"start":[84,8],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[89,32]},[]],"tag":"TypeLevelString","contents":"String interpolation only works on the following primitive values: `String`, `Boolean`, `Int`, `Number`, and `Char`. Moreover, using newtypes to get around this will fail. These restrictions are intentional. Please use a function to render your type's value into a value of one of these types before it gets passed as an argument into the `i` function."}]}],"constraintData":null}],"edInstanceChain":[[["Data","Interpolate"],{"Ident":"interpString"}],[["Data","Interpolate"],{"Ident":"interpStringFunction"}],[["Data","Interpolate"],{"Ident":"interpBooleanFunction"}],[["Data","Interpolate"],{"Ident":"interpIntFunction"}],[["Data","Interpolate"],{"Ident":"interpNumberFunction"}],[["Data","Interpolate"],{"Ident":"interpCharFunction"}],[["Data","Interpolate"],{"Ident":"interpFailEverythingElse"}]],"edInstanceChainIndex":6}}],"efSourceSpan":{"start":[24,1],"name":".spago/interpolate/v2.0.1/src/Data/Interpolate.purs","end":[103,56]}}