Documentation

($) :: forall a. IsString a => a Source #

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

(#) :: forall a. IsString a => a Source #

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

(<>) :: forall a. IsString a => a Source #

(++) :: forall a. IsString a => a Source #

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

(>>=) :: forall a. IsString a => a Source #

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

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

pattern Discard :: Qualified (ProperName ClassName) Source #

(+) :: forall a. IsString a => a Source #

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

(-) :: forall a. IsString a => a Source #

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

(*) :: forall a. IsString a => a Source #

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

(/) :: forall a. IsString a => a Source #

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

(%) :: forall a. IsString a => a Source #

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

(<) :: forall a. IsString a => a Source #

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

(>) :: forall a. IsString a => a Source #

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

(<=) :: forall a. IsString a => a Source #

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

(>=) :: forall a. IsString a => a Source #

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

(==) :: forall a. IsString a => a Source #

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

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

(/=) :: forall a. IsString a => a Source #

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

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

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

(&&) :: forall a. IsString a => a Source #

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

(||) :: forall a. IsString a => a Source #

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

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

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

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

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

(<<<) :: forall a. IsString a => a Source #

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

(>>>) :: forall a. IsString a => a Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

pure' :: forall a. IsString a => a Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

data EffectDictionaries Source #

effDictionaries :: EffectDictionaries Source #

effectDictionaries :: EffectDictionaries Source #

stDictionaries :: EffectDictionaries Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

pattern Prim :: ModuleName Source #

pattern Partial :: Qualified (ProperName ClassName) Source #

pattern Record :: Qualified (ProperName TypeName) Source #

pattern PrimBoolean :: ModuleName Source #

booleanTrue :: Qualified (ProperName TypeName) Source #

booleanFalse :: Qualified (ProperName TypeName) Source #

pattern PrimOrdering :: ModuleName Source #

orderingLT :: Qualified (ProperName TypeName) Source #

orderingEQ :: Qualified (ProperName TypeName) Source #

orderingGT :: Qualified (ProperName TypeName) Source #

pattern PrimRow :: ModuleName Source #

pattern RowUnion :: Qualified (ProperName ClassName) Source #

pattern RowNub :: Qualified (ProperName ClassName) Source #

pattern RowCons :: Qualified (ProperName ClassName) Source #

pattern RowLacks :: Qualified (ProperName ClassName) Source #

pattern PrimRowList :: ModuleName Source #

pattern RowToList :: Qualified (ProperName ClassName) Source #

pattern RowListNil :: Qualified (ProperName TypeName) Source #

pattern RowListCons :: Qualified (ProperName TypeName) Source #

pattern PrimSymbol :: ModuleName Source #

pattern SymbolCompare :: Qualified (ProperName ClassName) Source #

pattern SymbolAppend :: Qualified (ProperName ClassName) Source #

pattern SymbolCons :: Qualified (ProperName ClassName) Source #

pattern PrimTypeError :: ModuleName Source #

pattern Fail :: Qualified (ProperName ClassName) Source #

pattern Warn :: Qualified (ProperName ClassName) Source #

primModules :: [ModuleName] Source #

pattern DataSymbol :: ModuleName Source #

pattern IsSymbol :: Qualified (ProperName ClassName) Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

pattern ControlBind :: ModuleName Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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