Documentation

stRefValue :: forall a. IsString a => a Source #

data EffectDictionaries Source #

effDictionaries :: EffectDictionaries Source #

effectDictionaries :: EffectDictionaries Source #

stDictionaries :: EffectDictionaries Source #

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

pattern M_Unsafe_Coerce :: ModuleName Source #

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

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

pattern M_Control_Monad_ST_Uncurried :: ModuleName Source #

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

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

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

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

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

pattern M_Control_Monad_ST_Internal :: ModuleName Source #

pattern I_profunctorRmap :: Qualified Ident Source #

pattern I_lcmap :: Qualified Ident Source #

pattern I_dimap :: Qualified Ident Source #

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

pattern Profunctor :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Profunctor :: ModuleName Source #

pattern I_unsafePartial :: Qualified Ident Source #

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

pattern M_Partial_Unsafe :: ModuleName Source #

pattern Newtype :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Newtype :: ModuleName Source #

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

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

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

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

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

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

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

pattern M_Data_Int_Bits :: ModuleName Source #

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

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

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

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

pattern M_Data_Function_Uncurried :: ModuleName Source #

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

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

pattern I_traverse :: Qualified Ident Source #

pattern Traversable :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Traversable :: ModuleName Source #

pattern I_foldr :: Qualified Ident Source #

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

pattern I_foldl :: Qualified Ident Source #

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

pattern I_foldMap :: Qualified Ident Source #

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

pattern Foldable :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Foldable :: ModuleName Source #

pattern I_rtraverse :: Qualified Ident Source #

pattern I_ltraverse :: Qualified Ident Source #

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

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

pattern I_bitraverse :: Qualified Ident Source #

pattern Bitraversable :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Bitraversable :: ModuleName Source #

pattern I_bifoldr :: Qualified Ident Source #

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

pattern I_bifoldl :: Qualified Ident Source #

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

pattern I_bifoldMap :: Qualified Ident Source #

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

pattern Bifoldable :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Bifoldable :: ModuleName Source #

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

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

pattern M_Effect_Uncurried :: ModuleName Source #

pattern M_Effect :: ModuleName Source #

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

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

pattern M_Control_Monad_Eff_Uncurried :: ModuleName Source #

pattern M_Control_Monad_Eff :: ModuleName Source #

pattern I_cmap :: Qualified Ident Source #

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

pattern Contravariant :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Functor_Contravariant :: ModuleName Source #

pattern I_rmap :: Qualified Ident Source #

pattern I_lmap :: Qualified Ident Source #

pattern I_bimap :: Qualified Ident Source #

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

pattern Bifunctor :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Bifunctor :: ModuleName Source #

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

pattern M_Data_Array :: ModuleName Source #

pattern IsSymbol :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Symbol :: ModuleName Source #

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

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

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

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

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

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

pattern M_Data_Semiring :: ModuleName Source #

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

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

pattern I_append :: Qualified Ident Source #

pattern M_Data_Semigroup :: ModuleName Source #

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

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

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

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

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

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

pattern M_Data_Ring :: ModuleName Source #

pattern Reflectable :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Reflectable :: ModuleName Source #

pattern C_LT :: Qualified (ProperName 'ConstructorName) Source #

pattern C_GT :: Qualified (ProperName 'ConstructorName) Source #

pattern C_EQ :: Qualified (ProperName 'ConstructorName) Source #

pattern Ordering :: Qualified (ProperName 'TypeName) Source #

pattern M_Data_Ordering :: ModuleName Source #

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

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

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

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

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

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

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

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

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

pattern I_compare1 :: Qualified Ident Source #

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

pattern Ord1 :: Qualified (ProperName 'ClassName) Source #

pattern I_compare :: Qualified Ident Source #

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

pattern Ord :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Ord :: ModuleName Source #

pattern I_mempty :: Qualified Ident Source #

pattern M_Data_Monoid :: ModuleName Source #

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

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

pattern I_not :: Qualified Ident Source #

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

pattern I_disj :: Qualified Ident Source #

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

pattern I_conj :: Qualified Ident Source #

pattern M_Data_HeytingAlgebra :: ModuleName Source #

pattern C_Inr :: Qualified (ProperName 'ConstructorName) Source #

pattern C_Inl :: Qualified (ProperName 'ConstructorName) Source #

pattern Sum :: Qualified (ProperName 'TypeName) Source #

pattern C_Product :: Qualified (ProperName 'ConstructorName) Source #

pattern Product :: Qualified (ProperName 'TypeName) Source #

pattern C_NoConstructors :: Qualified (ProperName 'ConstructorName) Source #

pattern NoConstructors :: Qualified (ProperName 'TypeName) Source #

pattern C_NoArguments :: Qualified (ProperName 'ConstructorName) Source #

pattern NoArguments :: Qualified (ProperName 'TypeName) Source #

pattern C_Constructor :: Qualified (ProperName 'ConstructorName) Source #

pattern Constructor :: Qualified (ProperName 'TypeName) Source #

pattern C_Argument :: Qualified (ProperName 'ConstructorName) Source #

pattern Argument :: Qualified (ProperName 'TypeName) Source #

pattern I_to :: Qualified Ident Source #

pattern I_from :: Qualified Ident Source #

pattern Generic :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Generic_Rep :: ModuleName Source #

pattern I_map :: Qualified Ident Source #

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

pattern Functor :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Functor :: ModuleName Source #

pattern I_flip :: Qualified Ident Source #

pattern I_const :: Qualified Ident Source #

pattern I_functionApplyFlipped :: Qualified Ident Source #

pattern I_functionApply :: Qualified Ident Source #

pattern M_Data_Function :: ModuleName Source #

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

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

pattern M_Data_EuclideanRing :: ModuleName Source #

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

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

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

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

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

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

pattern I_eq1 :: Qualified Ident Source #

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

pattern Eq1 :: Qualified (ProperName 'ClassName) Source #

pattern I_eq :: Qualified Ident Source #

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

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

pattern Eq :: Qualified (ProperName 'ClassName) Source #

pattern M_Data_Eq :: ModuleName Source #

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

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

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

pattern M_Data_Bounded :: ModuleName Source #

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

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

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

pattern M_Control_Semigroupoid :: ModuleName Source #

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

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

pattern I_identity :: Qualified Ident Source #

pattern M_Control_Category :: ModuleName Source #

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

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

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

pattern Discard :: Qualified (ProperName 'ClassName) Source #

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

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

pattern M_Control_Bind :: ModuleName Source #

pattern I_pure :: Qualified Ident Source #

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

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

pattern M_Control_Applicative :: ModuleName Source #

pattern I_apply :: Qualified Ident Source #

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

pattern M_Control_Apply :: ModuleName Source #