1{"efVersion":"0.13.6","efModuleName":["Data","Maybe"],"efExports":[{"TypeRef":[{"start":[1,1],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[278,41]},"Maybe",["Nothing","Just"]]},{"ValueRef":[{"start":[1,1],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[278,41]},{"Ident":"maybe"}]},{"ValueRef":[{"start":[1,1],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[278,41]},{"Ident":"maybe'"}]},{"ValueRef":[{"start":[1,1],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[278,41]},{"Ident":"fromMaybe"}]},{"ValueRef":[{"start":[1,1],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[278,41]},{"Ident":"fromMaybe'"}]},{"ValueRef":[{"start":[1,1],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[278,41]},{"Ident":"isJust"}]},{"ValueRef":[{"start":[1,1],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[278,41]},{"Ident":"isNothing"}]},{"ValueRef":[{"start":[1,1],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[278,41]},{"Ident":"fromJust"}]},{"ValueRef":[{"start":[1,1],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[278,41]},{"Ident":"optional"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"functorMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"applyMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"applicativeMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"altMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"plusMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"alternativeMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"bindMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monadMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monadZeroMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"extendMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"invariantMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semigroupMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monoidMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eq1Maybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ordMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ord1Maybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"boundedMaybe"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"showMaybe"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Control","Alt"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[5,21],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[5,30]},"Alt"]},{"ValueOpRef":[{"start":[5,32],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[5,37]},"<|>"]}]},"eiImportedAs":null},{"eiModule":["Control","Alternative"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[6,29],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[6,46]},"Alternative"]}]},"eiImportedAs":null},{"eiModule":["Control","Extend"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[7,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[7,36]},"Extend"]}]},"eiImportedAs":null},{"eiModule":["Control","MonadZero"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[8,27],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[8,42]},"MonadZero"]}]},"eiImportedAs":null},{"eiModule":["Control","Plus"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[9,22],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[9,32]},"Plus"]}]},"eiImportedAs":null},{"eiModule":["Data","Eq"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[11,17],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[11,26]},"Eq1"]}]},"eiImportedAs":null},{"eiModule":["Data","Functor","Invariant"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[12,32],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[12,47]},"Invariant"]},{"ValueRef":[{"start":[12,49],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[12,54]},{"Ident":"imapF"}]}]},"eiImportedAs":null},{"eiModule":["Data","Ord"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[13,18],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[13,28]},"Ord1"]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Maybe","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[18,31],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[18,32]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":{"args":[["a",{"annotation":[{"start":[18,31],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[18,32]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]],"ctors":[["Nothing",[]],["Just",[{"annotation":[{"start":[18,31],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[18,32]},[]],"tag":"TypeVar","contents":"a"}]]]}}}},{"EDDataConstructor":{"edDataCtorName":"Nothing","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Maybe","edDataCtorType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}]},null]},"edDataCtorFields":[]}},{"EDDataConstructor":{"edDataCtorName":"Just","edDataCtorOrigin":"data","edDataCtorTypeCtor":"Maybe","edDataCtorType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[18,31],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[18,32]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}]}]},null]},"edDataCtorFields":[{"Ident":"value0"}]}},{"EDValue":{"edValueName":{"Ident":"maybe"},"edValueType":{"annotation":[{"start":[217,10],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,51]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[217,17],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,51]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[217,22],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[217,22],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[217,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,26]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[217,22],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,23]},[]],"tag":"TypeVar","contents":"b"}]},{"annotation":[{"start":[217,27],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[217,27],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[217,36],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,38]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[217,28],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,34]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[217,28],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,34]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[217,30],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,32]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[217,28],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,29]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[217,33],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,34]},[]],"tag":"TypeVar","contents":"b"}]}]},{"annotation":[{"start":[217,39],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[217,39],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,51]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[217,47],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[217,39],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[217,39],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,44]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[217,45],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,46]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[217,50],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[217,51]},[]],"tag":"TypeVar","contents":"b"}]}]}]},58]},59]}}},{"EDValue":{"edValueName":{"Ident":"maybe'"},"edValueType":{"annotation":[{"start":[230,11],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,62]},[]],"tag":"ForAll","contents":["b",{"annotation":[{"start":[230,18],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,62]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[230,23],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[230,23],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[230,35],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,37]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[230,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,33]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[230,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,33]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[230,29],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,31]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[230,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,28]},[]],"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]},{"annotation":[{"start":[230,32],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,33]},[]],"tag":"TypeVar","contents":"b"}]}]},{"annotation":[{"start":[230,38],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[230,38],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[230,47],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[230,39],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[230,39],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[230,41],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,43]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[230,39],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,40]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[230,44],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,45]},[]],"tag":"TypeVar","contents":"b"}]}]},{"annotation":[{"start":[230,50],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[230,50],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[230,58],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,60]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[230,50],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,57]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[230,50],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,55]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[230,56],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,57]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[230,61],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[230,62]},[]],"tag":"TypeVar","contents":"b"}]}]}]},54]},55]}}},{"EDValue":{"edValueName":{"Ident":"fromMaybe"},"edValueType":{"annotation":[{"start":[242,14],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,41]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[242,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[242,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[242,26],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,28]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[242,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,25]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[242,29],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[242,29],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[242,37],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,39]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[242,29],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,36]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[242,29],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,34]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[242,35],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,36]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[242,40],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[242,41]},[]],"tag":"TypeVar","contents":"a"}]}]},77]}}},{"EDValue":{"edValueName":{"Ident":"fromMaybe'"},"edValueType":{"annotation":[{"start":[254,15],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,52]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[254,25],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[254,25],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[254,37],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,39]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[254,26],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,35]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[254,26],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,35]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[254,31],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[254,26],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,30]},[]],"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}]},{"annotation":[{"start":[254,34],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,35]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[254,40],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[254,40],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,52]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[254,48],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,50]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[254,40],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,47]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[254,40],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,45]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[254,46],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,47]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[254,51],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[254,52]},[]],"tag":"TypeVar","contents":"a"}]}]},75]}}},{"EDValue":{"edValueName":{"Ident":"isJust"},"edValueType":{"annotation":[{"start":[258,11],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[258,39]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[258,21],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[258,39]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[258,21],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[258,39]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[258,29],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[258,31]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[258,21],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[258,28]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[258,21],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[258,26]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[258,27],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[258,28]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[258,32],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[258,39]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]},64]}}},{"EDValue":{"edValueName":{"Ident":"isNothing"},"edValueType":{"annotation":[{"start":[262,14],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[262,42]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[262,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[262,42]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[262,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[262,42]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[262,32],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[262,34]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[262,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[262,31]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[262,24],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[262,29]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[262,30],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[262,31]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[262,35],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[262,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]},62]}}},{"EDValue":{"edValueName":{"Ident":"fromJust"},"edValueType":{"annotation":[{"start":[268,13],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[268,46]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[268,23],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[268,46]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[268,23],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[268,30]},[]],"constraintClass":[["Prim"],"Partial"],"constraintArgs":[],"constraintData":null},{"annotation":[{"start":[268,34],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[268,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[268,34],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[268,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[268,42],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[268,44]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[268,34],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[268,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[268,34],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[268,39]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[268,40],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[268,41]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[268,45],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[268,46]},[]],"tag":"TypeVar","contents":"a"}]}]},79]}}},{"EDValue":{"edValueName":{"Ident":"optional"},"edValueType":{"annotation":[{"start":[277,13],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,60]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[277,20],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,60]},[]],"tag":"ForAll","contents":["f",{"annotation":[{"start":[277,25],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,60]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[277,25],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,38]},[]],"constraintClass":[["Control","Alternative"],"Alternative"],"constraintArgs":[{"annotation":[{"start":[277,37],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,38]},[]],"tag":"TypeVar","contents":"f"}],"constraintData":null},{"annotation":[{"start":[277,42],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[277,42],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[277,46],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,48]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[277,42],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[277,42],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,43]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[277,44],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,45]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[277,49],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[277,49],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,50]},[]],"tag":"TypeVar","contents":"f"},{"annotation":[{"start":[277,52],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,59]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[277,52],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,57]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[277,58],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[277,59]},[]],"tag":"TypeVar","contents":"a"}]}]}]}]},15]},16]}}},{"EDInstance":{"edInstanceClassName":[["Data","Functor"],"Functor"],"edInstanceName":{"Ident":"functorMaybe"},"edInstanceTypes":[{"annotation":[{"start":[32,34],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[32,39]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"functorMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Apply"],"Apply"],"edInstanceName":{"Ident":"applyMaybe"},"edInstanceTypes":[{"annotation":[{"start":[67,30],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[67,35]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"applyMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Applicative"],"Applicative"],"edInstanceName":{"Ident":"applicativeMaybe"},"edInstanceTypes":[{"annotation":[{"start":[90,42],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[90,47]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"applicativeMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Alt"],"Alt"],"edInstanceName":{"Ident":"altMaybe"},"edInstanceTypes":[{"annotation":[{"start":[102,26],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[102,31]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"altMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Plus"],"Plus"],"edInstanceName":{"Ident":"plusMaybe"},"edInstanceTypes":[{"annotation":[{"start":[111,28],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[111,33]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"plusMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Alternative"],"Alternative"],"edInstanceName":{"Ident":"alternativeMaybe"},"edInstanceTypes":[{"annotation":[{"start":[116,42],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[116,47]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"alternativeMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Bind"],"edInstanceName":{"Ident":"bindMaybe"},"edInstanceTypes":[{"annotation":[{"start":[125,28],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[125,33]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"bindMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Monad"],"Monad"],"edInstanceName":{"Ident":"monadMaybe"},"edInstanceTypes":[{"annotation":[{"start":[144,30],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[144,35]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"monadMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","MonadZero"],"MonadZero"],"edInstanceName":{"Ident":"monadZeroMaybe"},"edInstanceTypes":[{"annotation":[{"start":[146,38],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[146,43]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"monadZeroMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Extend"],"Extend"],"edInstanceName":{"Ident":"extendMaybe"},"edInstanceTypes":[{"annotation":[{"start":[156,32],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[156,37]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"extendMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Functor","Invariant"],"Invariant"],"edInstanceName":{"Ident":"invariantMaybe"},"edInstanceTypes":[{"annotation":[{"start":[160,38],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[160,43]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"invariantMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup"],"Semigroup"],"edInstanceName":{"Ident":"semigroupMaybe"},"edInstanceTypes":[{"annotation":[{"start":[174,54],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[174,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[174,54],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[174,59]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[174,60],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[174,61]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[174,28],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[174,39]},[]],"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"annotation":[{"start":[174,38],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[174,39]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Maybe"],{"Ident":"semigroupMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidMaybe"},"edInstanceTypes":[{"annotation":[{"start":[179,48],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[179,55]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[179,48],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[179,53]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[179,54],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[179,55]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[179,25],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[179,36]},[]],"constraintClass":[["Data","Semigroup"],"Semigroup"],"constraintArgs":[{"annotation":[{"start":[179,35],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[179,36]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Maybe"],{"Ident":"monoidMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqMaybe"},"edInstanceTypes":[{"annotation":[{"start":[185,40],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[185,47]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[185,40],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[185,45]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[185,46],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[185,47]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[185,28],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[185,32]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[185,31],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[185,32]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Maybe"],{"Ident":"eqMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq1"],"edInstanceName":{"Ident":"eq1Maybe"},"edInstanceTypes":[{"annotation":[{"start":[187,26],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[187,31]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"eq1Maybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord"],"edInstanceName":{"Ident":"ordMaybe"},"edInstanceTypes":[{"annotation":[{"start":[194,43],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[194,50]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[194,43],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[194,48]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[194,49],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[194,50]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[194,29],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[194,34]},[]],"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"annotation":[{"start":[194,33],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[194,34]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Maybe"],{"Ident":"ordMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord1"],"edInstanceName":{"Ident":"ord1Maybe"},"edInstanceTypes":[{"annotation":[{"start":[196,28],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[196,33]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Maybe"],{"Ident":"ord1Maybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Bounded"],"Bounded"],"edInstanceName":{"Ident":"boundedMaybe"},"edInstanceTypes":[{"annotation":[{"start":[198,48],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[198,55]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[198,48],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[198,53]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[198,54],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[198,55]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[198,26],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[198,35]},[]],"constraintClass":[["Data","Bounded"],"Bounded"],"constraintArgs":[{"annotation":[{"start":[198,34],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[198,35]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Maybe"],{"Ident":"boundedMaybe"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Show"],"Show"],"edInstanceName":{"Ident":"showMaybe"},"edInstanceTypes":[{"annotation":[{"start":[205,39],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[205,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[205,39],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[205,44]},[]],"tag":"TypeConstructor","contents":[["Data","Maybe"],"Maybe"]},{"annotation":[{"start":[205,45],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[205,46]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[205,23],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[205,29]},[]],"constraintClass":[["Data","Show"],"Show"],"constraintArgs":[{"annotation":[{"start":[205,28],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[205,29]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Maybe"],{"Ident":"showMaybe"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":".spago/maybe/v4.0.1/src/Data/Maybe.purs","end":[278,41]}}
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list