{"efVersion":"0.11.7","efModuleName":["Type","Data","Boolean"],"efExports":[{"KindRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},"Boolean"]},{"TypeRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},"True",[]]},{"TypeRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},"False",[]]},{"TypeRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},"BProxy",["BProxy"]]},{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},"IsBoolean"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},{"Ident":"reflectBoolean"}]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},{"Ident":"reifyBoolean"}]},{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},"And"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},{"Ident":"and"}]},{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},"Or"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},{"Ident":"or"}]},{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},"Not"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},{"Ident":"not"}]},{"TypeClassRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},"If"]},{"ValueRef":[{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]},{"Ident":"if_"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"isBooleanTrue"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"isBooleanFalse"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"andTrue"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"andFalse"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"orTrue"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"orFalse"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"notTrue"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"notFalse"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ifTrue"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"ifFalse"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Type","Proxy"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[19,20],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[19,29]},"Proxy",null]}]},"eiImportedAs":null}],"efFixities":[],"efTypeFixities":[],"efDeclarations":[{"EDKind":{"edKindName":"Boolean"}},{"EDType":{"edTypeName":"True","edTypeKind":{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},"edTypeDeclarationKind":"ExternData"}},{"EDType":{"edTypeName":"False","edTypeKind":{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},"edTypeDeclarationKind":"ExternData"}},{"EDType":{"edTypeName":"BProxy","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":{"DataType":{"args":[["bool",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}]],"ctors":[["BProxy",[]]]}}}},{"EDDataConstructor":{"edDataCtorName":"BProxy","edDataCtorOrigin":"data","edDataCtorTypeCtor":"BProxy","edDataCtorType":{"tag":"ForAll","contents":["bool",{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"bool"}]},null]},"edDataCtorFields":[]}},{"EDType":{"edTypeName":"IsBoolean","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"IsBoolean","edTypeSynonymArguments":[["bool",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"RCons","contents":["reflectBoolean",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"bool"}]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]},{"tag":"REmpty"}]}]}}},{"EDClass":{"edClassName":"IsBoolean","edClassTypeArguments":[["bool",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}]],"edClassMembers":[[{"Ident":"reflectBoolean"},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"bool"}]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]],"edClassConstraints":[],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"reflectBoolean"},"edValueType":{"tag":"ForAll","contents":["bool",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Type","Data","Boolean"],"IsBoolean"],"constraintArgs":[{"tag":"TypeVar","contents":"bool"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"bool"}]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]}]},5]}}},{"EDValue":{"edValueName":{"Ident":"reifyBoolean"},"edValueType":{"tag":"ForAll","contents":["r",{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"ForAll","contents":["o",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Type","Data","Boolean"],"IsBoolean"],"constraintArgs":[{"tag":"TypeVar","contents":"o"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"o"}]}]},{"tag":"TypeVar","contents":"r"}]}]},0]}]},{"tag":"TypeVar","contents":"r"}]}]},1]}}},{"EDType":{"edTypeName":"And","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"And","edTypeSynonymArguments":[["lhs",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["rhs",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["output",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"REmpty"}]}}},{"EDClass":{"edClassName":"And","edClassTypeArguments":[["lhs",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["rhs",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["output",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}]],"edClassMembers":[],"edClassConstraints":[],"edFunctionalDependencies":[{"determiners":[0],"determined":[1,2]}]}},{"EDValue":{"edValueName":{"Ident":"and"},"edValueType":{"tag":"ForAll","contents":["o",{"tag":"ForAll","contents":["r",{"tag":"ForAll","contents":["l",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Type","Data","Boolean"],"And"],"constraintArgs":[{"tag":"TypeVar","contents":"l"},{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"o"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"l"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"r"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"o"}]}]}]}]},43]},44]},45]}}},{"EDType":{"edTypeName":"Or","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Or","edTypeSynonymArguments":[["lhs",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["rhs",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["output",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"REmpty"}]}}},{"EDClass":{"edClassName":"Or","edClassTypeArguments":[["lhs",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["rhs",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["output",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}]],"edClassMembers":[],"edClassConstraints":[],"edFunctionalDependencies":[{"determiners":[0],"determined":[1,2]}]}},{"EDValue":{"edValueName":{"Ident":"or"},"edValueType":{"tag":"ForAll","contents":["o",{"tag":"ForAll","contents":["r",{"tag":"ForAll","contents":["l",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Type","Data","Boolean"],"Or"],"constraintArgs":[{"tag":"TypeVar","contents":"l"},{"tag":"TypeVar","contents":"r"},{"tag":"TypeVar","contents":"o"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"l"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"r"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"o"}]}]}]}]},10]},11]},12]}}},{"EDType":{"edTypeName":"Not","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"Not","edTypeSynonymArguments":[["bool",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["output",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"REmpty"}]}}},{"EDClass":{"edClassName":"Not","edClassTypeArguments":[["bool",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["output",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}]],"edClassMembers":[],"edClassConstraints":[],"edFunctionalDependencies":[{"determiners":[0],"determined":[1]}]}},{"EDValue":{"edValueName":{"Ident":"not"},"edValueType":{"tag":"ForAll","contents":["o",{"tag":"ForAll","contents":["i",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Type","Data","Boolean"],"Not"],"constraintArgs":[{"tag":"TypeVar","contents":"i"},{"tag":"TypeVar","contents":"o"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"i"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"o"}]}]}]},17]},18]}}},{"EDType":{"edTypeName":"If","edTypeKind":{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"FunKind","contents":[{"tag":"NamedKind","contents":[["Prim"],"Type"]},{"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"If","edTypeSynonymArguments":[["bool",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["onTrue",{"tag":"NamedKind","contents":[["Prim"],"Type"]}],["onFalse",{"tag":"NamedKind","contents":[["Prim"],"Type"]}],["output",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],"edTypeSynonymType":{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"tag":"REmpty"}]}}},{"EDClass":{"edClassName":"If","edClassTypeArguments":[["bool",{"tag":"NamedKind","contents":[["Type","Data","Boolean"],"Boolean"]}],["onTrue",{"tag":"NamedKind","contents":[["Prim"],"Type"]}],["onFalse",{"tag":"NamedKind","contents":[["Prim"],"Type"]}],["output",{"tag":"NamedKind","contents":[["Prim"],"Type"]}]],"edClassMembers":[],"edClassConstraints":[],"edFunctionalDependencies":[{"determiners":[0],"determined":[1,2,3]}]}},{"EDValue":{"edValueName":{"Ident":"if_"},"edValueType":{"tag":"ForAll","contents":["o",{"tag":"ForAll","contents":["e",{"tag":"ForAll","contents":["t",{"tag":"ForAll","contents":["b",{"tag":"ConstrainedType","contents":[{"constraintClass":[["Type","Data","Boolean"],"If"],"constraintArgs":[{"tag":"TypeVar","contents":"b"},{"tag":"TypeVar","contents":"t"},{"tag":"TypeVar","contents":"e"},{"tag":"TypeVar","contents":"o"}],"constraintData":null},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"BProxy"]},{"tag":"TypeVar","contents":"b"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"tag":"TypeVar","contents":"t"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"tag":"TypeVar","contents":"e"}]}]},{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Type","Proxy"],"Proxy"]},{"tag":"TypeVar","contents":"o"}]}]}]}]}]},22]},23]},24]},25]}}},{"EDInstance":{"edInstanceClassName":[["Type","Data","Boolean"],"IsBoolean"],"edInstanceName":{"Ident":"isBooleanTrue"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"True"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Type","Data","Boolean"],"IsBoolean"],"edInstanceName":{"Ident":"isBooleanFalse"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"False"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Type","Data","Boolean"],"And"],"edInstanceName":{"Ident":"andTrue"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"True"]},{"tag":"TypeVar","contents":"rhs"},{"tag":"TypeVar","contents":"rhs"}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Type","Data","Boolean"],"And"],"edInstanceName":{"Ident":"andFalse"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"False"]},{"tag":"TypeVar","contents":"rhs"},{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"False"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Type","Data","Boolean"],"Or"],"edInstanceName":{"Ident":"orTrue"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"True"]},{"tag":"TypeVar","contents":"rhs"},{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"True"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Type","Data","Boolean"],"Or"],"edInstanceName":{"Ident":"orFalse"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"False"]},{"tag":"TypeVar","contents":"rhs"},{"tag":"TypeVar","contents":"rhs"}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Type","Data","Boolean"],"Not"],"edInstanceName":{"Ident":"notTrue"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"True"]},{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"False"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Type","Data","Boolean"],"Not"],"edInstanceName":{"Ident":"notFalse"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"False"]},{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"True"]}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Type","Data","Boolean"],"If"],"edInstanceName":{"Ident":"ifTrue"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"True"]},{"tag":"TypeVar","contents":"onTrue"},{"tag":"TypeVar","contents":"onFalse"},{"tag":"TypeVar","contents":"onTrue"}],"edInstanceConstraints":[]}},{"EDInstance":{"edInstanceClassName":[["Type","Data","Boolean"],"If"],"edInstanceName":{"Ident":"ifFalse"},"edInstanceTypes":[{"tag":"TypeConstructor","contents":[["Type","Data","Boolean"],"False"]},{"tag":"TypeVar","contents":"onTrue"},{"tag":"TypeVar","contents":"onFalse"},{"tag":"TypeVar","contents":"onFalse"}],"edInstanceConstraints":[]}}],"efSourceSpan":{"start":[1,1],"name":"/Users/hrajchert/Google Drive/Projects/Purescript/gh-repo-sync/bower_components/purescript-typelevel-prelude/src/Type/Data/Boolean.purs","end":[82,13]}}