module Language.PureScript.Constants where
import Prelude.Compat
import Data.String (IsString)
import Language.PureScript.PSString (PSString)
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"
eq1 :: forall a. (IsString a) => a
eq1 = "eq1"
(/=) :: forall a. (IsString a) => a
(/=) = "/="
notEq :: forall a. (IsString a) => a
notEq = "notEq"
compare :: forall a. (IsString a) => a
compare = "compare"
compare1 :: forall a. (IsString a) => a
compare1 = "compare1"
(&&) :: 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"
unit :: forall a. (IsString a) => a
unit = "unit"
runST :: forall a. (IsString a) => a
runST = "run"
stRefValue :: forall a. (IsString a) => a
stRefValue = "value"
newSTRef :: forall a. (IsString a) => a
newSTRef = "new"
readSTRef :: forall a. (IsString a) => a
readSTRef = "read"
writeSTRef :: forall a. (IsString a) => a
writeSTRef = "write"
modifySTRef :: forall a. (IsString a) => a
modifySTRef = "modify"
mkFn :: forall a. (IsString a) => a
mkFn = "mkFn"
runFn :: forall a. (IsString a) => a
runFn = "runFn"
mkEffFn :: forall a. (IsString a) => a
mkEffFn = "mkEffFn"
runEffFn :: forall a. (IsString a) => a
runEffFn = "runEffFn"
mkEffectFn :: forall a. (IsString a) => a
mkEffectFn = "mkEffectFn"
runEffectFn :: forall a. (IsString a) => a
runEffectFn = "runEffectFn"
undefined :: forall a. (IsString a) => a
undefined = "undefined"
data EffectDictionaries = EffectDictionaries
{ edApplicativeDict :: PSString
, edBindDict :: PSString
, edMonadDict :: PSString
, edWhile :: PSString
, edUntil :: PSString
}
effDictionaries :: EffectDictionaries
effDictionaries = EffectDictionaries
{ edApplicativeDict = "applicativeEff"
, edBindDict = "bindEff"
, edMonadDict = "monadEff"
, edWhile = "whileE"
, edUntil = "untilE"
}
effectDictionaries :: EffectDictionaries
effectDictionaries = EffectDictionaries
{ edApplicativeDict = "applicativeEffect"
, edBindDict = "bindEffect"
, edMonadDict = "monadEffect"
, edWhile = "whileE"
, edUntil = "untilE"
}
stDictionaries :: EffectDictionaries
stDictionaries = EffectDictionaries
{ edApplicativeDict = "applicativeST"
, edBindDict = "bindST"
, edMonadDict = "monadST"
, edWhile = "while"
, edUntil = "until"
}
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"
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 Record :: Qualified (ProperName 'TypeName)
pattern Record = Qualified (Just Prim) (ProperName "Record")
pattern PrimBoolean :: ModuleName
pattern PrimBoolean = ModuleName [ProperName "Prim", ProperName "Boolean"]
booleanTrue :: Qualified (ProperName 'TypeName)
booleanTrue = Qualified (Just PrimBoolean) (ProperName "True")
booleanFalse :: Qualified (ProperName 'TypeName)
booleanFalse = Qualified (Just PrimBoolean) (ProperName "False")
pattern PrimOrdering :: ModuleName
pattern PrimOrdering = ModuleName [ProperName "Prim", ProperName "Ordering"]
orderingLT :: Qualified (ProperName 'TypeName)
orderingLT = Qualified (Just PrimOrdering) (ProperName "LT")
orderingEQ :: Qualified (ProperName 'TypeName)
orderingEQ = Qualified (Just PrimOrdering) (ProperName "EQ")
orderingGT :: Qualified (ProperName 'TypeName)
orderingGT = Qualified (Just PrimOrdering) (ProperName "GT")
pattern PrimRow :: ModuleName
pattern PrimRow = ModuleName [ProperName "Prim", ProperName "Row"]
pattern RowUnion :: Qualified (ProperName 'ClassName)
pattern RowUnion = Qualified (Just PrimRow) (ProperName "Union")
pattern RowNub :: Qualified (ProperName 'ClassName)
pattern RowNub = Qualified (Just PrimRow) (ProperName "Nub")
pattern RowCons :: Qualified (ProperName 'ClassName)
pattern RowCons = Qualified (Just PrimRow) (ProperName "Cons")
pattern RowLacks :: Qualified (ProperName 'ClassName)
pattern RowLacks = Qualified (Just PrimRow) (ProperName "Lacks")
pattern PrimRowList :: ModuleName
pattern PrimRowList = ModuleName [ProperName "Prim", ProperName "RowList"]
pattern RowToList :: Qualified (ProperName 'ClassName)
pattern RowToList = Qualified (Just PrimRowList) (ProperName "RowToList")
pattern RowListNil :: Qualified (ProperName 'TypeName)
pattern RowListNil = Qualified (Just PrimRowList) (ProperName "Nil")
pattern RowListCons :: Qualified (ProperName 'TypeName)
pattern RowListCons = Qualified (Just PrimRowList) (ProperName "Cons")
pattern PrimSymbol :: ModuleName
pattern PrimSymbol = ModuleName [ProperName "Prim", ProperName "Symbol"]
pattern SymbolCompare :: Qualified (ProperName 'ClassName)
pattern SymbolCompare = Qualified (Just PrimSymbol) (ProperName "Compare")
pattern SymbolAppend :: Qualified (ProperName 'ClassName)
pattern SymbolAppend = Qualified (Just PrimSymbol) (ProperName "Append")
pattern SymbolCons :: Qualified (ProperName 'ClassName)
pattern SymbolCons = Qualified (Just PrimSymbol) (ProperName "Cons")
pattern PrimTypeError :: ModuleName
pattern PrimTypeError = ModuleName [ProperName "Prim", ProperName "TypeError"]
pattern Fail :: Qualified (ProperName 'ClassName)
pattern Fail = Qualified (Just PrimTypeError) (ProperName "Fail")
pattern Warn :: Qualified (ProperName 'ClassName)
pattern Warn = Qualified (Just PrimTypeError) (ProperName "Warn")
primModules :: [ModuleName]
primModules = [Prim, PrimBoolean, PrimOrdering, PrimRow, PrimRowList, PrimSymbol, PrimTypeError]
pattern DataSymbol :: ModuleName
pattern DataSymbol = ModuleName [ProperName "Data", ProperName "Symbol"]
pattern IsSymbol :: Qualified (ProperName 'ClassName)
pattern IsSymbol = Qualified (Just DataSymbol) (ProperName "IsSymbol")
typ :: forall a. (IsString a) => a
typ = "Type"
kindBoolean :: forall a. (IsString a) => a
kindBoolean = "Boolean"
kindOrdering :: forall a. (IsString a) => a
kindOrdering = "Ordering"
kindRowList :: forall a. (IsString a) => a
kindRowList = "RowList"
symbol :: forall a. (IsString a) => a
symbol = "Symbol"
doc :: forall a. (IsString a) => a
doc = "Doc"
prim :: forall a. (IsString a) => a
prim = "Prim"
moduleBoolean :: forall a. (IsString a) => a
moduleBoolean = "Boolean"
moduleOrdering :: forall a. (IsString a) => a
moduleOrdering = "Ordering"
moduleRow :: forall a. (IsString a) => a
moduleRow = "Row"
moduleRowList :: forall a. (IsString a) => a
moduleRowList = "RowList"
moduleSymbol :: forall a. (IsString a) => a
moduleSymbol = "Symbol"
typeError :: forall a. (IsString a) => a
typeError = "TypeError"
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"
effect :: forall a. (IsString a) => a
effect = "Effect"
st :: forall a. (IsString a) => a
st = "Control_Monad_ST_Internal"
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"
controlMonadEffUncurried :: forall a. (IsString a) => a
controlMonadEffUncurried = "Control_Monad_Eff_Uncurried"
effectUncurried :: forall a. (IsString a) => a
effectUncurried = "Effect_Uncurried"
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"
unsafeCoerce :: forall a. (IsString a) => a
unsafeCoerce = "Unsafe_Coerce"
unsafeCoerceFn :: forall a. (IsString a) => a
unsafeCoerceFn = "unsafeCoerce"