module Language.PureScript.Constants where
import Prelude.Compat
import Data.String (IsString)
import Language.PureScript.Names
($) :: forall a. (IsString a) => a
($) = "$"
apply :: forall a. (IsString a) => a
apply = "apply"
(#) :: forall a. (IsString a) => a
(#) = "#"
applyFlipped :: forall a. (IsString a) => a
applyFlipped = "applyFlipped"
(<>) :: forall a. (IsString a) => a
(<>) = "<>"
(++) :: forall a. (IsString a) => a
(++) = "++"
append :: forall a. (IsString a) => a
append = "append"
(>>=) :: forall a. (IsString a) => a
(>>=) = ">>="
bind :: forall a. (IsString a) => a
bind = "bind"
discard :: forall a. (IsString a) => a
discard = "discard"
pattern Discard :: Qualified (ProperName 'ClassName)
pattern Discard = Qualified (Just ControlBind) (ProperName "Discard")
(+) :: forall a. (IsString a) => a
(+) = "+"
add :: forall a. (IsString a) => a
add = "add"
() :: forall a. (IsString a) => a
() = "-"
sub :: forall a. (IsString a) => a
sub = "sub"
(*) :: forall a. (IsString a) => a
(*) = "*"
mul :: forall a. (IsString a) => a
mul = "mul"
(/) :: forall a. (IsString a) => a
(/) = "/"
div :: forall a. (IsString a) => a
div = "div"
(%) :: forall a. (IsString a) => a
(%) = "%"
mod :: forall a. (IsString a) => a
mod = "mod"
(<) :: forall a. (IsString a) => a
(<) = "<"
lessThan :: forall a. (IsString a) => a
lessThan = "lessThan"
(>) :: forall a. (IsString a) => a
(>) = ">"
greaterThan :: forall a. (IsString a) => a
greaterThan = "greaterThan"
(<=) :: forall a. (IsString a) => a
(<=) = "<="
lessThanOrEq :: forall a. (IsString a) => a
lessThanOrEq = "lessThanOrEq"
(>=) :: forall a. (IsString a) => a
(>=) = ">="
greaterThanOrEq :: forall a. (IsString a) => a
greaterThanOrEq = "greaterThanOrEq"
(==) :: forall a. (IsString a) => a
(==) = "=="
eq :: forall a. (IsString a) => a
eq = "eq"
(/=) :: forall a. (IsString a) => a
(/=) = "/="
notEq :: forall a. (IsString a) => a
notEq = "notEq"
compare :: forall a. (IsString a) => a
compare = "compare"
(&&) :: forall a. (IsString a) => a
(&&) = "&&"
conj :: forall a. (IsString a) => a
conj = "conj"
(||) :: forall a. (IsString a) => a
(||) = "||"
disj :: forall a. (IsString a) => a
disj = "disj"
unsafeIndex :: forall a. (IsString a) => a
unsafeIndex = "unsafeIndex"
or :: forall a. (IsString a) => a
or = "or"
and :: forall a. (IsString a) => a
and = "and"
xor :: forall a. (IsString a) => a
xor = "xor"
(<<<) :: forall a. (IsString a) => a
(<<<) = "<<<"
compose :: forall a. (IsString a) => a
compose = "compose"
(>>>) :: forall a. (IsString a) => a
(>>>) = ">>>"
composeFlipped :: forall a. (IsString a) => a
composeFlipped = "composeFlipped"
map :: forall a. (IsString a) => a
map = "map"
negate :: forall a. (IsString a) => a
negate = "negate"
not :: forall a. (IsString a) => a
not = "not"
shl :: forall a. (IsString a) => a
shl = "shl"
shr :: forall a. (IsString a) => a
shr = "shr"
zshr :: forall a. (IsString a) => a
zshr = "zshr"
complement :: forall a. (IsString a) => a
complement = "complement"
zero :: forall a. (IsString a) => a
zero = "zero"
one :: forall a. (IsString a) => a
one = "one"
bottom :: forall a. (IsString a) => a
bottom = "bottom"
top :: forall a. (IsString a) => a
top = "top"
return :: forall a. (IsString a) => a
return = "return"
pure' :: forall a. (IsString a) => a
pure' = "pure"
returnEscaped :: forall a. (IsString a) => a
returnEscaped = "$return"
untilE :: forall a. (IsString a) => a
untilE = "untilE"
whileE :: forall a. (IsString a) => a
whileE = "whileE"
runST :: forall a. (IsString a) => a
runST = "runST"
stRefValue :: forall a. (IsString a) => a
stRefValue = "value"
newSTRef :: forall a. (IsString a) => a
newSTRef = "newSTRef"
readSTRef :: forall a. (IsString a) => a
readSTRef = "readSTRef"
writeSTRef :: forall a. (IsString a) => a
writeSTRef = "writeSTRef"
modifySTRef :: forall a. (IsString a) => a
modifySTRef = "modifySTRef"
mkFn :: forall a. (IsString a) => a
mkFn = "mkFn"
runFn :: forall a. (IsString a) => a
runFn = "runFn"
unit :: forall a. (IsString a) => a
unit = "unit"
undefined :: forall a. (IsString a) => a
undefined = "undefined"
monadEffDictionary :: forall a. (IsString a) => a
monadEffDictionary = "monadEff"
applicativeEffDictionary :: forall a. (IsString a) => a
applicativeEffDictionary = "applicativeEff"
bindEffDictionary :: forall a. (IsString a) => a
bindEffDictionary = "bindEff"
discardUnitDictionary :: forall a. (IsString a) => a
discardUnitDictionary = "discardUnit"
semiringNumber :: forall a. (IsString a) => a
semiringNumber = "semiringNumber"
semiringInt :: forall a. (IsString a) => a
semiringInt = "semiringInt"
ringNumber :: forall a. (IsString a) => a
ringNumber = "ringNumber"
ringInt :: forall a. (IsString a) => a
ringInt = "ringInt"
moduloSemiringNumber :: forall a. (IsString a) => a
moduloSemiringNumber = "moduloSemiringNumber"
moduloSemiringInt :: forall a. (IsString a) => a
moduloSemiringInt = "moduloSemiringInt"
euclideanRingNumber :: forall a. (IsString a) => a
euclideanRingNumber = "euclideanRingNumber"
euclideanRingInt :: forall a. (IsString a) => a
euclideanRingInt = "euclideanRingInt"
ordBoolean :: forall a. (IsString a) => a
ordBoolean = "ordBoolean"
ordNumber :: forall a. (IsString a) => a
ordNumber = "ordNumber"
ordInt :: forall a. (IsString a) => a
ordInt = "ordInt"
ordString :: forall a. (IsString a) => a
ordString = "ordString"
ordChar :: forall a. (IsString a) => a
ordChar = "ordChar"
eqNumber :: forall a. (IsString a) => a
eqNumber = "eqNumber"
eqInt :: forall a. (IsString a) => a
eqInt = "eqInt"
eqString :: forall a. (IsString a) => a
eqString = "eqString"
eqChar :: forall a. (IsString a) => a
eqChar = "eqChar"
eqBoolean :: forall a. (IsString a) => a
eqBoolean = "eqBoolean"
boundedBoolean :: forall a. (IsString a) => a
boundedBoolean = "boundedBoolean"
booleanAlgebraBoolean :: forall a. (IsString a) => a
booleanAlgebraBoolean = "booleanAlgebraBoolean"
heytingAlgebraBoolean :: forall a. (IsString a) => a
heytingAlgebraBoolean = "heytingAlgebraBoolean"
semigroupString :: forall a. (IsString a) => a
semigroupString = "semigroupString"
semigroupoidFn :: forall a. (IsString a) => a
semigroupoidFn = "semigroupoidFn"
generic :: forall a. (IsString a) => a
generic = "Generic"
toSpine :: forall a. (IsString a) => a
toSpine = "toSpine"
fromSpine :: forall a. (IsString a) => a
fromSpine = "fromSpine"
toSignature :: forall a. (IsString a) => a
toSignature = "toSignature"
pattern DataSymbol :: ModuleName
pattern DataSymbol = ModuleName [ProperName "Data", ProperName "Symbol"]
pattern IsSymbol :: Qualified (ProperName 'ClassName)
pattern IsSymbol = Qualified (Just DataSymbol) (ProperName "IsSymbol")
pattern TypeDataSymbol :: ModuleName
pattern TypeDataSymbol = ModuleName [ProperName "Type", ProperName "Data", ProperName "Symbol"]
pattern CompareSymbol :: Qualified (ProperName 'ClassName)
pattern CompareSymbol = Qualified (Just TypeDataSymbol) (ProperName "CompareSymbol")
pattern AppendSymbol :: Qualified (ProperName 'ClassName)
pattern AppendSymbol = Qualified (Just TypeDataSymbol) (ProperName "AppendSymbol")
typeDataOrdering :: ModuleName
typeDataOrdering = ModuleName [ProperName "Type", ProperName "Data", ProperName "Ordering"]
orderingLT :: Qualified (ProperName 'TypeName)
orderingLT = Qualified (Just typeDataOrdering) (ProperName "LT")
orderingEQ :: Qualified (ProperName 'TypeName)
orderingEQ = Qualified (Just typeDataOrdering) (ProperName "EQ")
orderingGT :: Qualified (ProperName 'TypeName)
orderingGT = Qualified (Just typeDataOrdering) (ProperName "GT")
main :: forall a. (IsString a) => a
main = "main"
partial :: forall a. (IsString a) => a
partial = "Partial"
pattern Prim :: ModuleName
pattern Prim = ModuleName [ProperName "Prim"]
pattern Partial :: Qualified (ProperName 'ClassName)
pattern Partial = Qualified (Just Prim) (ProperName "Partial")
pattern Fail :: Qualified (ProperName 'ClassName)
pattern Fail = Qualified (Just Prim) (ProperName "Fail")
pattern Warn :: Qualified (ProperName 'ClassName)
pattern Warn = Qualified (Just Prim) (ProperName "Warn")
pattern Union :: Qualified (ProperName 'ClassName)
pattern Union = Qualified (Just Prim) (ProperName "Union")
pattern RowCons :: Qualified (ProperName 'ClassName)
pattern RowCons = Qualified (Just Prim) (ProperName "RowCons")
typ :: forall a. (IsString a) => a
typ = "Type"
symbol :: forall a. (IsString a) => a
symbol = "Symbol"
__unused :: forall a. (IsString a) => a
__unused = "__unused"
prim :: forall a. (IsString a) => a
prim = "Prim"
prelude :: forall a. (IsString a) => a
prelude = "Prelude"
dataArray :: forall a. (IsString a) => a
dataArray = "Data_Array"
eff :: forall a. (IsString a) => a
eff = "Control_Monad_Eff"
st :: forall a. (IsString a) => a
st = "Control_Monad_ST"
controlApplicative :: forall a. (IsString a) => a
controlApplicative = "Control_Applicative"
controlSemigroupoid :: forall a. (IsString a) => a
controlSemigroupoid = "Control_Semigroupoid"
pattern ControlBind :: ModuleName
pattern ControlBind = ModuleName [ProperName "Control", ProperName "Bind"]
controlBind :: forall a. (IsString a) => a
controlBind = "Control_Bind"
dataBounded :: forall a. (IsString a) => a
dataBounded = "Data_Bounded"
dataSemigroup :: forall a. (IsString a) => a
dataSemigroup = "Data_Semigroup"
dataHeytingAlgebra :: forall a. (IsString a) => a
dataHeytingAlgebra = "Data_HeytingAlgebra"
dataEq :: forall a. (IsString a) => a
dataEq = "Data_Eq"
dataOrd :: forall a. (IsString a) => a
dataOrd = "Data_Ord"
dataSemiring :: forall a. (IsString a) => a
dataSemiring = "Data_Semiring"
dataRing :: forall a. (IsString a) => a
dataRing = "Data_Ring"
dataEuclideanRing :: forall a. (IsString a) => a
dataEuclideanRing = "Data_EuclideanRing"
dataFunction :: forall a. (IsString a) => a
dataFunction = "Data_Function"
dataFunctionUncurried :: forall a. (IsString a) => a
dataFunctionUncurried = "Data_Function_Uncurried"
dataIntBits :: forall a. (IsString a) => a
dataIntBits = "Data_Int_Bits"
partialUnsafe :: forall a. (IsString a) => a
partialUnsafe = "Partial_Unsafe"
unsafePartial :: forall a. (IsString a) => a
unsafePartial = "unsafePartial"