externs.json

{"efVersion":"0.13.2","efModuleName":["Data","Monoid","Conj"],"efExports":[{"TypeRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[51,42]},"Conj",["Conj"]]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eqConj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"eq1Conj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ordConj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ord1Conj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"boundedConj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"showConj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"functorConj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"applyConj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"applicativeConj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"bindConj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monadConj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semigroupConj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"monoidConj"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"semiringConj"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Prelude"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Eq"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[5,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[5,26]},"Eq1"]}]},"eiImportedAs":null},{"eiModule":["Data","HeytingAlgebra"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[6,29],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[6,31]},{"Ident":"ff"}]},{"ValueRef":[{"start":[6,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[6,35]},{"Ident":"tt"}]}]},"eiImportedAs":null},{"eiModule":["Data","Ord"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[7,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[7,28]},"Ord1"]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Conj","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[15,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[15,24]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":{"args":[["a",{"annotation":[{"start":[15,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[15,24]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]],"ctors":[["Conj",[{"annotation":[{"start":[15,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[15,24]},[]],"tag":"TypeVar","contents":"a"}]]]}}}},{"EDDataConstructor":{"edDataCtorName":"Conj","edDataCtorOrigin":"newtype","edDataCtorTypeCtor":"Conj","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":[15,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[15,24]},[]],"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","Monoid","Conj"],"Conj"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}]}]},null]},"edDataCtorFields":[{"Ident":"value0"}]}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq"],"edInstanceName":{"Ident":"eqConj"},"edInstanceTypes":[{"annotation":[{"start":[17,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[17,53]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[17,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[17,51]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"annotation":[{"start":[17,52],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[17,53]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[17,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[17,39]},[]],"constraintClass":[["Data","Eq"],"Eq"],"constraintArgs":[{"annotation":[{"start":[17,38],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[17,39]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"eqConj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Eq"],"Eq1"],"edInstanceName":{"Ident":"eq1Conj"},"edInstanceTypes":[{"annotation":[{"start":[18,32],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[18,36]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"eq1Conj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord"],"edInstanceName":{"Ident":"ordConj"},"edInstanceTypes":[{"annotation":[{"start":[20,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[20,56]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[20,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[20,54]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"annotation":[{"start":[20,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[20,56]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[20,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[20,41]},[]],"constraintClass":[["Data","Ord"],"Ord"],"constraintArgs":[{"annotation":[{"start":[20,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[20,41]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"ordConj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Ord"],"Ord1"],"edInstanceName":{"Ident":"ord1Conj"},"edInstanceTypes":[{"annotation":[{"start":[21,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[21,38]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"ord1Conj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Bounded"],"Bounded"],"edInstanceName":{"Ident":"boundedConj"},"edInstanceTypes":[{"annotation":[{"start":[23,62],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[23,68]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[23,62],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[23,66]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"annotation":[{"start":[23,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[23,68]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[23,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[23,49]},[]],"constraintClass":[["Data","Bounded"],"Bounded"],"constraintArgs":[{"annotation":[{"start":[23,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[23,49]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"boundedConj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Show"],"Show"],"edInstanceName":{"Ident":"showConj"},"edInstanceTypes":[{"annotation":[{"start":[25,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[25,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[25,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[25,44]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"annotation":[{"start":[25,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[25,46]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[25,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[25,29]},[]],"constraintClass":[["Data","Show"],"Show"],"constraintArgs":[{"annotation":[{"start":[25,28],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[25,29]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"showConj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Functor"],"Functor"],"edInstanceName":{"Ident":"functorConj"},"edInstanceTypes":[{"annotation":[{"start":[28,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[28,44]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"functorConj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Apply"],"Apply"],"edInstanceName":{"Ident":"applyConj"},"edInstanceTypes":[{"annotation":[{"start":[30,29],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[30,33]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"applyConj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Applicative"],"Applicative"],"edInstanceName":{"Ident":"applicativeConj"},"edInstanceTypes":[{"annotation":[{"start":[33,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[33,45]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"applicativeConj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Bind"],"Bind"],"edInstanceName":{"Ident":"bindConj"},"edInstanceTypes":[{"annotation":[{"start":[36,27],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[36,31]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"bindConj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Control","Monad"],"Monad"],"edInstanceName":{"Ident":"monadConj"},"edInstanceTypes":[{"annotation":[{"start":[39,29],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[39,33]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"monadConj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semigroup"],"Semigroup"],"edInstanceName":{"Ident":"semigroupConj"},"edInstanceTypes":[{"annotation":[{"start":[41,58],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[41,64]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[41,58],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[41,62]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"annotation":[{"start":[41,63],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[41,64]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[41,27],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[41,43]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[41,42],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[41,43]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"semigroupConj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Monoid"],"Monoid"],"edInstanceName":{"Ident":"monoidConj"},"edInstanceTypes":[{"annotation":[{"start":[44,52],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[44,58]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,52],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[44,56]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"annotation":[{"start":[44,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[44,58]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[44,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[44,40]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[44,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[44,40]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"monoidConj"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","Semiring"],"Semiring"],"edInstanceName":{"Ident":"semiringConj"},"edInstanceTypes":[{"annotation":[{"start":[47,56],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[47,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[47,56],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[47,60]},[]],"tag":"TypeConstructor","contents":[["Data","Monoid","Conj"],"Conj"]},{"annotation":[{"start":[47,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[47,62]},[]],"tag":"TypeVar","contents":"a"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[47,26],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[47,42]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[47,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[47,42]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null}],"edInstanceChain":[[["Data","Monoid","Conj"],{"Ident":"semiringConj"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/Monoid/Conj.purs","end":[51,42]}}