purescript-0.15.15: PureScript Programming Language Compiler
Safe HaskellNone
LanguageHaskell2010

Language.PureScript.Constants.Libs

Description

Various constants which refer to things in the Prelude and other core libraries

Documentation

pattern P_unsafeCoerce :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_runSTFn :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_mkSTFn :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_write :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_run :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_read :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_new :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_modify :: (Eq a, IsString a) => (ModuleName, a) #

pattern S_dimap :: (Eq a, IsString a) => a #

pattern P_unsafePartial :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_zshr :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_xor :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_shr :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_shl :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_or :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_complement :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_and :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_runFn :: (Eq a, IsString a) => (ModuleName, a) #

pattern S_runFn :: (Eq a, IsString a) => a #

pattern P_mkFn :: (Eq a, IsString a) => (ModuleName, a) #

pattern S_mkFn :: (Eq a, IsString a) => a #

pattern S_sequence :: (Eq a, IsString a) => a #

pattern S_traverse :: (Eq a, IsString a) => a #

pattern S_foldr :: (Eq a, IsString a) => a #

pattern S_foldl :: (Eq a, IsString a) => a #

pattern S_foldMap :: (Eq a, IsString a) => a #

pattern S_bisequence :: (Eq a, IsString a) => a #

pattern S_bitraverse :: (Eq a, IsString a) => a #

pattern S_bifoldr :: (Eq a, IsString a) => a #

pattern S_bifoldl :: (Eq a, IsString a) => a #

pattern S_bifoldMap :: (Eq a, IsString a) => a #

pattern P_runEffectFn :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_mkEffectFn :: (Eq a, IsString a) => (ModuleName, a) #

pattern M_Effect :: ModuleName #

pattern P_runEffFn :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_mkEffFn :: (Eq a, IsString a) => (ModuleName, a) #

pattern I_cmap :: Qualified Ident #

pattern S_cmap :: (Eq a, IsString a) => a #

pattern I_rmap :: Qualified Ident #

pattern I_lmap :: Qualified Ident #

pattern S_bimap :: (Eq a, IsString a) => a #

pattern P_unsafeIndex :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_semiringNumber :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_semiringInt :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_zero :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_one :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_mul :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_add :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_semigroupString :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_append :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_ringNumber :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_ringInt :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_sub :: (Eq a, IsString a) => (ModuleName, a) #

pattern S_sub :: (Eq a, IsString a) => a #

pattern P_negate :: (Eq a, IsString a) => (ModuleName, a) #

pattern S_negate :: (Eq a, IsString a) => a #

pattern P_ordString :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_ordNumber :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_ordInt :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_ordChar :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_ordBoolean :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_lessThanOrEq :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_lessThan :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_greaterThanOrEq :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_greaterThan :: (Eq a, IsString a) => (ModuleName, a) #

pattern S_compare1 :: (Eq a, IsString a) => a #

pattern S_compare :: (Eq a, IsString a) => a #

pattern P_heytingAlgebraBoolean :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_not :: (Eq a, IsString a) => (ModuleName, a) #

pattern I_not :: Qualified Ident #

pattern P_disj :: (Eq a, IsString a) => (ModuleName, a) #

pattern I_disj :: Qualified Ident #

pattern P_conj :: (Eq a, IsString a) => (ModuleName, a) #

pattern I_conj :: Qualified Ident #

pattern I_to :: Qualified Ident #

pattern I_from :: Qualified Ident #

pattern I_map :: Qualified Ident #

pattern S_map :: (Eq a, IsString a) => a #

pattern I_flip :: Qualified Ident #

pattern P_euclideanRingNumber :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_div :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_eqString :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_eqNumber :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_eqInt :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_eqChar :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_eqBoolean :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_notEq :: (Eq a, IsString a) => (ModuleName, a) #

pattern I_eq1 :: Qualified Ident #

pattern S_eq1 :: (Eq a, IsString a) => a #

pattern I_eq :: Qualified Ident #

pattern P_eq :: (Eq a, IsString a) => (ModuleName, a) #

pattern S_eq :: (Eq a, IsString a) => a #

pattern P_boundedBoolean :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_top :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_bottom :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_semigroupoidFn :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_composeFlipped :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_compose :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_categoryFn :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_identity :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_discardUnit :: (Eq a, IsString a) => (ModuleName, a) #

pattern P_discard :: (Eq a, IsString a) => (ModuleName, a) #

pattern S_discard :: (Eq a, IsString a) => a #

pattern P_bind :: (Eq a, IsString a) => (ModuleName, a) #

pattern S_bind :: (Eq a, IsString a) => a #

pattern I_pure :: Qualified Ident #

pattern P_pure :: (Eq a, IsString a) => (ModuleName, a) #

pattern S_pure :: (Eq a, IsString a) => a #

pattern S_apply :: (Eq a, IsString a) => a #