R | Noether.Algebra.Tags |
R1 | Lemmata |
race | Lemmata |
race_ | Lemmata |
raise# | Noether.Lemmata.TypeFu |
raiseIO# | Noether.Lemmata.TypeFu |
Ratio | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
Rational | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
ratioPrec | Lemmata.Base, Lemmata |
ratioPrec1 | Lemmata.Base, Lemmata |
RatioZeroDenominator | Lemmata |
ratioZeroDenominatorError | Lemmata.Base, Lemmata |
Read | Noether.Lemmata.Prelude, Lemmata |
read | Noether.Lemmata.Prelude |
readAddrArray# | Noether.Lemmata.TypeFu |
readAddrOffAddr# | Noether.Lemmata.TypeFu |
readArray# | Noether.Lemmata.TypeFu |
readArrayArrayArray# | Noether.Lemmata.TypeFu |
readByteArrayArray# | Noether.Lemmata.TypeFu |
readChan | Lemmata |
readCharArray# | Noether.Lemmata.TypeFu |
readCharOffAddr# | Noether.Lemmata.TypeFu |
readDoubleArray# | Noether.Lemmata.TypeFu |
readDoubleArrayAsDoubleX2# | Noether.Lemmata.TypeFu |
readDoubleArrayAsDoubleX4# | Noether.Lemmata.TypeFu |
readDoubleArrayAsDoubleX8# | Noether.Lemmata.TypeFu |
readDoubleOffAddr# | Noether.Lemmata.TypeFu |
readDoubleOffAddrAsDoubleX2# | Noether.Lemmata.TypeFu |
readDoubleOffAddrAsDoubleX4# | Noether.Lemmata.TypeFu |
readDoubleOffAddrAsDoubleX8# | Noether.Lemmata.TypeFu |
readDoubleX2Array# | Noether.Lemmata.TypeFu |
readDoubleX2OffAddr# | Noether.Lemmata.TypeFu |
readDoubleX4Array# | Noether.Lemmata.TypeFu |
readDoubleX4OffAddr# | Noether.Lemmata.TypeFu |
readDoubleX8Array# | Noether.Lemmata.TypeFu |
readDoubleX8OffAddr# | Noether.Lemmata.TypeFu |
readEither | Lemmata |
Reader | Lemmata |
reader | Lemmata |
ReaderT | |
1 (Type/Class) | Lemmata |
2 (Data Constructor) | Lemmata |
readFile | |
1 (Function) | Noether.Lemmata.Prelude |
2 (Function) | Lemmata |
readFloatArray# | Noether.Lemmata.TypeFu |
readFloatArrayAsFloatX16# | Noether.Lemmata.TypeFu |
readFloatArrayAsFloatX4# | Noether.Lemmata.TypeFu |
readFloatArrayAsFloatX8# | Noether.Lemmata.TypeFu |
readFloatOffAddr# | Noether.Lemmata.TypeFu |
readFloatOffAddrAsFloatX16# | Noether.Lemmata.TypeFu |
readFloatOffAddrAsFloatX4# | Noether.Lemmata.TypeFu |
readFloatOffAddrAsFloatX8# | Noether.Lemmata.TypeFu |
readFloatX16Array# | Noether.Lemmata.TypeFu |
readFloatX16OffAddr# | Noether.Lemmata.TypeFu |
readFloatX4Array# | Noether.Lemmata.TypeFu |
readFloatX4OffAddr# | Noether.Lemmata.TypeFu |
readFloatX8Array# | Noether.Lemmata.TypeFu |
readFloatX8OffAddr# | Noether.Lemmata.TypeFu |
readInt16Array# | Noether.Lemmata.TypeFu |
readInt16ArrayAsInt16X16# | Noether.Lemmata.TypeFu |
readInt16ArrayAsInt16X32# | Noether.Lemmata.TypeFu |
readInt16ArrayAsInt16X8# | Noether.Lemmata.TypeFu |
readInt16OffAddr# | Noether.Lemmata.TypeFu |
readInt16OffAddrAsInt16X16# | Noether.Lemmata.TypeFu |
readInt16OffAddrAsInt16X32# | Noether.Lemmata.TypeFu |
readInt16OffAddrAsInt16X8# | Noether.Lemmata.TypeFu |
readInt16X16Array# | Noether.Lemmata.TypeFu |
readInt16X16OffAddr# | Noether.Lemmata.TypeFu |
readInt16X32Array# | Noether.Lemmata.TypeFu |
readInt16X32OffAddr# | Noether.Lemmata.TypeFu |
readInt16X8Array# | Noether.Lemmata.TypeFu |
readInt16X8OffAddr# | Noether.Lemmata.TypeFu |
readInt32Array# | Noether.Lemmata.TypeFu |
readInt32ArrayAsInt32X16# | Noether.Lemmata.TypeFu |
readInt32ArrayAsInt32X4# | Noether.Lemmata.TypeFu |
readInt32ArrayAsInt32X8# | Noether.Lemmata.TypeFu |
readInt32OffAddr# | Noether.Lemmata.TypeFu |
readInt32OffAddrAsInt32X16# | Noether.Lemmata.TypeFu |
readInt32OffAddrAsInt32X4# | Noether.Lemmata.TypeFu |
readInt32OffAddrAsInt32X8# | Noether.Lemmata.TypeFu |
readInt32X16Array# | Noether.Lemmata.TypeFu |
readInt32X16OffAddr# | Noether.Lemmata.TypeFu |
readInt32X4Array# | Noether.Lemmata.TypeFu |
readInt32X4OffAddr# | Noether.Lemmata.TypeFu |
readInt32X8Array# | Noether.Lemmata.TypeFu |
readInt32X8OffAddr# | Noether.Lemmata.TypeFu |
readInt64Array# | Noether.Lemmata.TypeFu |
readInt64ArrayAsInt64X2# | Noether.Lemmata.TypeFu |
readInt64ArrayAsInt64X4# | Noether.Lemmata.TypeFu |
readInt64ArrayAsInt64X8# | Noether.Lemmata.TypeFu |
readInt64OffAddr# | Noether.Lemmata.TypeFu |
readInt64OffAddrAsInt64X2# | Noether.Lemmata.TypeFu |
readInt64OffAddrAsInt64X4# | Noether.Lemmata.TypeFu |
readInt64OffAddrAsInt64X8# | Noether.Lemmata.TypeFu |
readInt64X2Array# | Noether.Lemmata.TypeFu |
readInt64X2OffAddr# | Noether.Lemmata.TypeFu |
readInt64X4Array# | Noether.Lemmata.TypeFu |
readInt64X4OffAddr# | Noether.Lemmata.TypeFu |
readInt64X8Array# | Noether.Lemmata.TypeFu |
readInt64X8OffAddr# | Noether.Lemmata.TypeFu |
readInt8Array# | Noether.Lemmata.TypeFu |
readInt8ArrayAsInt8X16# | Noether.Lemmata.TypeFu |
readInt8ArrayAsInt8X32# | Noether.Lemmata.TypeFu |
readInt8ArrayAsInt8X64# | Noether.Lemmata.TypeFu |
readInt8OffAddr# | Noether.Lemmata.TypeFu |
readInt8OffAddrAsInt8X16# | Noether.Lemmata.TypeFu |
readInt8OffAddrAsInt8X32# | Noether.Lemmata.TypeFu |
readInt8OffAddrAsInt8X64# | Noether.Lemmata.TypeFu |
readInt8X16Array# | Noether.Lemmata.TypeFu |
readInt8X16OffAddr# | Noether.Lemmata.TypeFu |
readInt8X32Array# | Noether.Lemmata.TypeFu |
readInt8X32OffAddr# | Noether.Lemmata.TypeFu |
readInt8X64Array# | Noether.Lemmata.TypeFu |
readInt8X64OffAddr# | Noether.Lemmata.TypeFu |
readIntArray# | Noether.Lemmata.TypeFu |
readIntOffAddr# | Noether.Lemmata.TypeFu |
readIO | Noether.Lemmata.Prelude |
readList | Noether.Lemmata.Prelude |
readLn | Noether.Lemmata.Prelude |
readMaybe | Lemmata |
ReadMode | Lemmata |
readMutableArrayArrayArray# | Noether.Lemmata.TypeFu |
readMutableByteArrayArray# | Noether.Lemmata.TypeFu |
readMutVar# | Noether.Lemmata.TypeFu |
readMVar | Lemmata |
readMVar# | Noether.Lemmata.TypeFu |
readParen | Noether.Lemmata.Prelude |
ReadS | Noether.Lemmata.Prelude |
reads | Noether.Lemmata.Prelude, Lemmata |
readSmallArray# | Noether.Lemmata.TypeFu |
readsPrec | Noether.Lemmata.Prelude |
readStablePtrArray# | Noether.Lemmata.TypeFu |
readStablePtrOffAddr# | Noether.Lemmata.TypeFu |
readTVar# | Noether.Lemmata.TypeFu |
readTVarIO# | Noether.Lemmata.TypeFu |
readWideCharArray# | Noether.Lemmata.TypeFu |
readWideCharOffAddr# | Noether.Lemmata.TypeFu |
readWord16Array# | Noether.Lemmata.TypeFu |
readWord16ArrayAsWord16X16# | Noether.Lemmata.TypeFu |
readWord16ArrayAsWord16X32# | Noether.Lemmata.TypeFu |
readWord16ArrayAsWord16X8# | Noether.Lemmata.TypeFu |
readWord16OffAddr# | Noether.Lemmata.TypeFu |
readWord16OffAddrAsWord16X16# | Noether.Lemmata.TypeFu |
readWord16OffAddrAsWord16X32# | Noether.Lemmata.TypeFu |
readWord16OffAddrAsWord16X8# | Noether.Lemmata.TypeFu |
readWord16X16Array# | Noether.Lemmata.TypeFu |
readWord16X16OffAddr# | Noether.Lemmata.TypeFu |
readWord16X32Array# | Noether.Lemmata.TypeFu |
readWord16X32OffAddr# | Noether.Lemmata.TypeFu |
readWord16X8Array# | Noether.Lemmata.TypeFu |
readWord16X8OffAddr# | Noether.Lemmata.TypeFu |
readWord32Array# | Noether.Lemmata.TypeFu |
readWord32ArrayAsWord32X16# | Noether.Lemmata.TypeFu |
readWord32ArrayAsWord32X4# | Noether.Lemmata.TypeFu |
readWord32ArrayAsWord32X8# | Noether.Lemmata.TypeFu |
readWord32OffAddr# | Noether.Lemmata.TypeFu |
readWord32OffAddrAsWord32X16# | Noether.Lemmata.TypeFu |
readWord32OffAddrAsWord32X4# | Noether.Lemmata.TypeFu |
readWord32OffAddrAsWord32X8# | Noether.Lemmata.TypeFu |
readWord32X16Array# | Noether.Lemmata.TypeFu |
readWord32X16OffAddr# | Noether.Lemmata.TypeFu |
readWord32X4Array# | Noether.Lemmata.TypeFu |
readWord32X4OffAddr# | Noether.Lemmata.TypeFu |
readWord32X8Array# | Noether.Lemmata.TypeFu |
readWord32X8OffAddr# | Noether.Lemmata.TypeFu |
readWord64Array# | Noether.Lemmata.TypeFu |
readWord64ArrayAsWord64X2# | Noether.Lemmata.TypeFu |
readWord64ArrayAsWord64X4# | Noether.Lemmata.TypeFu |
readWord64ArrayAsWord64X8# | Noether.Lemmata.TypeFu |
readWord64OffAddr# | Noether.Lemmata.TypeFu |
readWord64OffAddrAsWord64X2# | Noether.Lemmata.TypeFu |
readWord64OffAddrAsWord64X4# | Noether.Lemmata.TypeFu |
readWord64OffAddrAsWord64X8# | Noether.Lemmata.TypeFu |
readWord64X2Array# | Noether.Lemmata.TypeFu |
readWord64X2OffAddr# | Noether.Lemmata.TypeFu |
readWord64X4Array# | Noether.Lemmata.TypeFu |
readWord64X4OffAddr# | Noether.Lemmata.TypeFu |
readWord64X8Array# | Noether.Lemmata.TypeFu |
readWord64X8OffAddr# | Noether.Lemmata.TypeFu |
readWord8Array# | Noether.Lemmata.TypeFu |
readWord8ArrayAsWord8X16# | Noether.Lemmata.TypeFu |
readWord8ArrayAsWord8X32# | Noether.Lemmata.TypeFu |
readWord8ArrayAsWord8X64# | Noether.Lemmata.TypeFu |
readWord8OffAddr# | Noether.Lemmata.TypeFu |
readWord8OffAddrAsWord8X16# | Noether.Lemmata.TypeFu |
readWord8OffAddrAsWord8X32# | Noether.Lemmata.TypeFu |
readWord8OffAddrAsWord8X64# | Noether.Lemmata.TypeFu |
readWord8X16Array# | Noether.Lemmata.TypeFu |
readWord8X16OffAddr# | Noether.Lemmata.TypeFu |
readWord8X32Array# | Noether.Lemmata.TypeFu |
readWord8X32OffAddr# | Noether.Lemmata.TypeFu |
readWord8X64Array# | Noether.Lemmata.TypeFu |
readWord8X64OffAddr# | Noether.Lemmata.TypeFu |
readWordArray# | Noether.Lemmata.TypeFu |
readWordOffAddr# | Noether.Lemmata.TypeFu |
ReadWriteMode | Lemmata |
Real | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
RealFloat | Noether.Lemmata.Prelude |
RealFrac | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
reallyUnsafePtrEquality# | Noether.Lemmata.TypeFu |
realPart | Noether.Lemmata.Prelude, Lemmata |
realToFrac | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
RealWorld | Noether.Lemmata.TypeFu |
realWorld# | Noether.Lemmata.TypeFu |
Rec0 | Lemmata |
RecConError | |
1 (Data Constructor) | Lemmata |
2 (Type/Class) | Lemmata |
recip | Lemmata.Base, Lemmata |
reciprocal | Noether.Algebra.Single.API, Noether.Algebra.Single |
RecSelError | |
1 (Data Constructor) | Lemmata |
2 (Type/Class) | Lemmata |
RecUpdError | |
1 (Data Constructor) | Lemmata |
2 (Type/Class) | Lemmata |
reduce | Lemmata.Base, Lemmata |
Refl | Noether.Lemmata.TypeFu, Lemmata |
rem | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
remAddr# | Noether.Lemmata.TypeFu |
remInt# | Noether.Lemmata.TypeFu |
remInt16X16# | Noether.Lemmata.TypeFu |
remInt16X32# | Noether.Lemmata.TypeFu |
remInt16X8# | Noether.Lemmata.TypeFu |
remInt32X16# | Noether.Lemmata.TypeFu |
remInt32X4# | Noether.Lemmata.TypeFu |
remInt32X8# | Noether.Lemmata.TypeFu |
remInt64X2# | Noether.Lemmata.TypeFu |
remInt64X4# | Noether.Lemmata.TypeFu |
remInt64X8# | Noether.Lemmata.TypeFu |
remInt8X16# | Noether.Lemmata.TypeFu |
remInt8X32# | Noether.Lemmata.TypeFu |
remInt8X64# | Noether.Lemmata.TypeFu |
remWord# | Noether.Lemmata.TypeFu |
remWord16X16# | Noether.Lemmata.TypeFu |
remWord16X32# | Noether.Lemmata.TypeFu |
remWord16X8# | Noether.Lemmata.TypeFu |
remWord32X16# | Noether.Lemmata.TypeFu |
remWord32X4# | Noether.Lemmata.TypeFu |
remWord32X8# | Noether.Lemmata.TypeFu |
remWord64X2# | Noether.Lemmata.TypeFu |
remWord64X4# | Noether.Lemmata.TypeFu |
remWord64X8# | Noether.Lemmata.TypeFu |
remWord8X16# | Noether.Lemmata.TypeFu |
remWord8X32# | Noether.Lemmata.TypeFu |
remWord8X64# | Noether.Lemmata.TypeFu |
Rep | Lemmata |
repeat | Noether.Lemmata.Prelude, Lemmata |
replace | Lemmata |
replicate | Noether.Lemmata.Prelude, Lemmata |
replicateM | Lemmata.Monad, Lemmata |
replicateM_ | Lemmata.Monad, Lemmata |
repr | Lemmata |
resizeMutableByteArray# | Noether.Lemmata.TypeFu |
retry | Lemmata |
retry# | Noether.Lemmata.TypeFu |
return | Noether.Lemmata.Prelude, Lemmata.Monad, Lemmata |
reverse | Noether.Lemmata.Prelude, Lemmata |
Right | Noether.Lemmata.Prelude, Lemmata |
rightAct | Noether.Algebra.Actions.API, Noether.Algebra.Actions |
rightActK | Noether.Algebra.Actions.API, Noether.Algebra.Actions |
RightActs | Noether.Algebra.Actions.API, Noether.Algebra.Actions |
RightAssociative | Lemmata |
RightCompatible | Noether.Algebra.Actions.API, Noether.Algebra.Actions |
RightLinear | Noether.Algebra.Actions.API, Noether.Algebra.Actions |
RightModule | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
RightModuleC | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
RightModuleE | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
RightModuleK | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
RightModuleS | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
rightModule_abelianGroup | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
rightModule_acteeLinearity | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
rightModule_actorLinearity | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
rightModule_compatibility | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
RightModule_Named | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
rightModule_ring | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
RightModule_Ring_AbelianGroup_Linear_Compatible | Noether.Algebra.Linear.Module, Noether.Algebra.Linear |
rights | Lemmata |
rightToMaybe | Lemmata.Either, Lemmata |
Ring | Noether.Algebra.Multiple.Strategies, Noether.Algebra.Multiple |
RingC | Noether.Algebra.Multiple.Ring, Noether.Algebra.Multiple |
RingE | Noether.Algebra.Multiple.Ring, Noether.Algebra.Multiple |
RingK | Noether.Algebra.Multiple.Ring, Noether.Algebra.Multiple |
RingNamed | Noether.Algebra.Multiple.Ring, Noether.Algebra.Multiple |
RingNamedT | Noether.Algebra.Multiple.Strategies, Noether.Algebra.Multiple |
RingS | Noether.Algebra.Multiple.Ring, Noether.Algebra.Multiple |
Ring_AbelianGroup_Group | Noether.Algebra.Multiple.Ring, Noether.Algebra.Multiple |
ring_addition_cancellative | Noether.Algebra.Multiple.Ring, Noether.Algebra.Multiple |
ring_additive_group | Noether.Algebra.Multiple.Ring, Noether.Algebra.Multiple |
ring_multiplicative_group | Noether.Algebra.Multiple.Ring, Noether.Algebra.Multiple |
ring_semiring | Noether.Algebra.Multiple.Ring, Noether.Algebra.Multiple |
Ring_Semiring_Cancellative | Noether.Algebra.Multiple.Ring, Noether.Algebra.Multiple |
rnf | Lemmata |
rotate | Lemmata |
rotateL | Lemmata |
rotateR | Lemmata |
round | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
rtsSupportsBoundThreads | Lemmata |
runConcurrently | Lemmata |
runExcept | Lemmata |
runExceptT | Lemmata |
runIdentity | Lemmata |
runInBoundThread | Lemmata |
runInUnboundThread | Lemmata |
runReader | Lemmata |
runReaderT | Lemmata |
runST | Lemmata |
runState | Lemmata |
runStateT | Lemmata |
RuntimeRep | Noether.Lemmata.TypeFu |