git.iko.soy/rowtype-yoga/psfp
on 6c57a55 help sign in
1 line 27 kB history raw
1{"efVersion":"0.13.6","efModuleName":["Data","Unfoldable1"],"efExports":[{"TypeClassRef":[{"start":[1,1],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[113,57]},"Unfoldable1"]},{"ValueRef":[{"start":[1,1],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[113,57]},{"Ident":"unfoldr1"}]},{"ValueRef":[{"start":[1,1],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[113,57]},{"Ident":"replicate1"}]},{"ValueRef":[{"start":[1,1],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[113,57]},{"Ident":"replicate1A"}]},{"ValueRef":[{"start":[1,1],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[113,57]},{"Ident":"singleton"}]},{"ValueRef":[{"start":[1,1],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[113,57]},{"Ident":"range"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"unfoldable1Array"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"unfoldable1Maybe"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Maybe"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[11,20],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[11,29]},"Maybe",null]},{"ValueRef":[{"start":[11,31],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[11,39]},{"Ident":"fromJust"}]},{"ValueRef":[{"start":[11,41],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[11,50]},{"Ident":"isNothing"}]}]},"eiImportedAs":null},{"eiModule":["Data","Semigroup","Traversable"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[12,36],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[12,54]},"Traversable1"]},{"ValueRef":[{"start":[12,56],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[12,65]},{"Ident":"sequence1"}]}]},"eiImportedAs":null},{"eiModule":["Data","Tuple"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[13,20],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[13,29]},"Tuple",null]},{"ValueRef":[{"start":[13,31],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[13,34]},{"Ident":"fst"}]},{"ValueRef":[{"start":[13,36],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[13,39]},{"Ident":"snd"}]}]},"eiImportedAs":null},{"eiModule":["Partial","Unsafe"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[14,24],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[14,37]},{"Ident":"unsafePartial"}]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Unfoldable1","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[39,60],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[39,33],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,38]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[39,57],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,59]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Unfoldable1","edTypeSynonymArguments":[["t",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":["unfoldr1",{"annotation":[{"start":[39,15],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[39,22],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[39,27],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,27],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,52],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[39,28],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,28],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,30],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,32]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[39,28],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,29]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[39,33],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,33],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,33],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,38]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[39,39],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,40]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[39,42],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,42],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,47]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[39,48],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,49]},[]],"tag":"TypeVar","contents":"b"}]}]}]}]},{"annotation":[{"start":[39,55],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,55],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,57],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,59]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[39,55],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,56]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[39,60],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,60],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,61]},[]],"tag":"TypeVar","contents":"t"},{"annotation":[{"start":[39,62],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeVar","contents":"a"}]}]}]},null]},null]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}}},{"EDClass":{"edClassName":"Unfoldable1","edClassTypeArguments":[["t",null]],"edClassMembers":[[{"Ident":"unfoldr1"},{"annotation":[{"start":[39,15],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[39,22],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[39,27],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,27],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,52],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[39,28],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,28],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,30],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,32]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[39,28],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,29]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[39,33],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,33],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,33],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,38]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[39,39],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,40]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[39,42],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,42],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,47]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[39,48],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,49]},[]],"tag":"TypeVar","contents":"b"}]}]}]}]},{"annotation":[{"start":[39,55],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,55],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,57],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,59]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[39,55],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,56]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[39,60],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,60],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,61]},[]],"tag":"TypeVar","contents":"t"},{"annotation":[{"start":[39,62],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeVar","contents":"a"}]}]}]},null]},null]}]],"edClassConstraints":[],"edFunctionalDependencies":[],"edIsEmpty":false}},{"EDValue":{"edValueName":{"Ident":"unfoldr1"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["t",{"annotation":[{"start":[39,15],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[39,22],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"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","Unfoldable1"],"Unfoldable1"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"t"}],"constraintData":null},{"annotation":[{"start":[39,27],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,27],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,52],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[39,28],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,28],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,30],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,32]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[39,28],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,29]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[39,33],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,33],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,40]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,33],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,38]},[]],"tag":"TypeConstructor","contents":[["Data","Tuple"],"Tuple"]},{"annotation":[{"start":[39,39],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,40]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[39,42],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,42],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,47]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[39,48],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,49]},[]],"tag":"TypeVar","contents":"b"}]}]}]}]},{"annotation":[{"start":[39,55],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,55],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,57],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,59]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[39,55],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,56]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[39,60],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[39,60],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,61]},[]],"tag":"TypeVar","contents":"t"},{"annotation":[{"start":[39,62],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[39,63]},[]],"tag":"TypeVar","contents":"a"}]}]}]}]},0]},1]},2]}}},{"EDValue":{"edValueName":{"Ident":"replicate1"},"edValueType":{"annotation":[{"start":[64,15],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,59]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[64,22],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,59]},[]],"tag":"ForAll","contents":["f",{"annotation":[{"start":[64,27],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,59]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[64,27],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,40]},[]],"constraintClass":[["Data","Unfoldable1"],"Unfoldable1"],"constraintArgs":[{"annotation":[{"start":[64,39],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,40]},[]],"tag":"TypeVar","contents":"f"}],"constraintData":null},{"annotation":[{"start":[64,44],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,59]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,44],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,59]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,48],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,50]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[64,44],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"annotation":[{"start":[64,51],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,59]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,51],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,59]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,53],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,55]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[64,51],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,52]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[64,56],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,59]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[64,56],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,57]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[64,58],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[64,59]},[]],"tag":"TypeVar","contents":"a"}]}]}]}]},26]},27]}}},{"EDValue":{"edValueName":{"Ident":"replicate1A"},"edValueType":{"annotation":[{"start":[82,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,13]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[82,13],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,13]},[]],"tag":"ForAll","contents":["f",{"annotation":[{"start":[82,13],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,13]},[]],"tag":"ForAll","contents":["m",{"annotation":[{"start":[83,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,13]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[83,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[83,13]},[]],"constraintClass":[["Control","Apply"],"Apply"],"constraintArgs":[{"annotation":[{"start":[83,12],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[83,13]},[]],"tag":"TypeVar","contents":"m"}],"constraintData":null},{"annotation":[{"start":[84,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,13]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[84,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[84,19]},[]],"constraintClass":[["Data","Unfoldable1"],"Unfoldable1"],"constraintArgs":[{"annotation":[{"start":[84,18],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[84,19]},[]],"tag":"TypeVar","contents":"f"}],"constraintData":null},{"annotation":[{"start":[85,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,13]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[85,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[85,20]},[]],"constraintClass":[["Data","Semigroup","Traversable"],"Traversable1"],"constraintArgs":[{"annotation":[{"start":[85,19],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[85,20]},[]],"tag":"TypeVar","contents":"f"}],"constraintData":null},{"annotation":[{"start":[86,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,13]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[86,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,13]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[87,3],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[87,5]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[86,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[86,9]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"annotation":[{"start":[87,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,13]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[87,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,13]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,3],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,5]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[87,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[87,9]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[87,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[87,7]},[]],"tag":"TypeVar","contents":"m"},{"annotation":[{"start":[87,8],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[87,9]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[88,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,13]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,6],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,7]},[]],"tag":"TypeVar","contents":"m"},{"annotation":[{"start":[88,9],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,12]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[88,9],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,10]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[88,11],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[88,12]},[]],"tag":"TypeVar","contents":"a"}]}]}]}]}]}]}]},30]},31]},32]}}},{"EDValue":{"edValueName":{"Ident":"singleton"},"edValueType":{"annotation":[{"start":[96,14],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,51]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[96,21],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,51]},[]],"tag":"ForAll","contents":["f",{"annotation":[{"start":[96,26],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,51]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[96,26],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,39]},[]],"constraintClass":[["Data","Unfoldable1"],"Unfoldable1"],"constraintArgs":[{"annotation":[{"start":[96,38],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,39]},[]],"tag":"TypeVar","contents":"f"}],"constraintData":null},{"annotation":[{"start":[96,43],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[96,43],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[96,45],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[96,43],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,44]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[96,48],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[96,48],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,49]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[96,50],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[96,51]},[]],"tag":"TypeVar","contents":"a"}]}]}]},36]},37]}}},{"EDValue":{"edValueName":{"Ident":"range"},"edValueType":{"annotation":[{"start":[107,10],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,56]},[]],"tag":"ForAll","contents":["f",{"annotation":[{"start":[107,20],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,56]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[107,20],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,33]},[]],"constraintClass":[["Data","Unfoldable1"],"Unfoldable1"],"constraintArgs":[{"annotation":[{"start":[107,32],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,33]},[]],"tag":"TypeVar","contents":"f"}],"constraintData":null},{"annotation":[{"start":[107,37],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[107,37],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[107,41],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,43]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[107,37],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,40]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"annotation":[{"start":[107,44],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[107,44],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[107,48],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,50]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[107,44],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]},{"annotation":[{"start":[107,51],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[107,51],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,52]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[107,53],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[107,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Int"]}]}]}]}]},40]}}},{"EDInstance":{"edInstanceClassName":[["Data","Unfoldable1"],"Unfoldable1"],"edInstanceName":{"Ident":"unfoldable1Array"},"edInstanceTypes":[{"annotation":[{"start":[41,42],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[41,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Array"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Unfoldable1"],{"Ident":"unfoldable1Array"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Unfoldable1"],"Unfoldable1"],"edInstanceName":{"Ident":"unfoldable1Maybe"},"edInstanceTypes":[{"annotation":[{"start":[44,42],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[44,47]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Unfoldable1"],{"Ident":"unfoldable1Maybe"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":".spago/unfoldable/v4.1.0/src/Data/Unfoldable1.purs","end":[113,57]}}