Safe Haskell	Safe-Inferred
Language	Haskell2010

UVMHS.Core.Chunky

Documentation

trℕ8 :: ℕ64 -> ℕ8 Source #

toBitsℤ64 :: ℤ64 -> ℕ64 Source #

frBitsℤ64 :: ℕ64 -> ℤ64 Source #

toBits𝔻 :: 𝔻 -> ℕ64 Source #

frBits𝔻 :: ℕ64 -> 𝔻 Source #

skipChunk :: Monad m => m ℕ8 -> ℕ64 -> m () Source #

emptyChunk :: ℕ64 -> 𝐼 ℕ8 Source #

joinBytes :: (ℕ8, ℕ8, ℕ8, ℕ8, ℕ8, ℕ8, ℕ8, ℕ8) -> ℕ64 Source #

splitBytes :: ℕ64 -> (ℕ8, ℕ8, ℕ8, ℕ8, ℕ8, ℕ8, ℕ8, ℕ8) Source #

class Chunky a where Source #

Methods

chunkSize :: P a -> ℕ64 Source #

fromChunk :: forall m. Monad m => m ℕ8 -> m a Source #

toChunk :: a -> 𝐼 ℕ8 Source #

Instances

Instances details

Chunky ℂ Source #
Instance details Defined in UVMHS.Core.Chunky Methods chunkSize :: P ℂ -> ℕ64 Source # fromChunk :: Monad m => m ℕ8 -> m ℂ Source # toChunk :: ℂ -> 𝐼 ℕ8 Source #
Chunky ℕ64 Source #
Instance details Defined in UVMHS.Core.Chunky Methods chunkSize :: P ℕ64 -> ℕ64 Source # fromChunk :: Monad m => m ℕ8 -> m ℕ64 Source # toChunk :: ℕ64 -> 𝐼 ℕ8 Source #
Chunky ℕ8 Source #
Instance details Defined in UVMHS.Core.Chunky Methods chunkSize :: P ℕ8 -> ℕ64 Source # fromChunk :: Monad m => m ℕ8 -> m ℕ8 Source # toChunk :: ℕ8 -> 𝐼 ℕ8 Source #
Chunky ℤ64 Source #
Instance details Defined in UVMHS.Core.Chunky Methods chunkSize :: P ℤ64 -> ℕ64 Source # fromChunk :: Monad m => m ℕ8 -> m ℤ64 Source # toChunk :: ℤ64 -> 𝐼 ℕ8 Source #
Chunky 𝔹 Source #
Instance details Defined in UVMHS.Core.Chunky Methods chunkSize :: P 𝔹 -> ℕ64 Source # fromChunk :: Monad m => m ℕ8 -> m 𝔹 Source # toChunk :: 𝔹 -> 𝐼 ℕ8 Source #
Chunky 𝔻 Source #
Instance details Defined in UVMHS.Core.Chunky Methods chunkSize :: P 𝔻 -> ℕ64 Source # fromChunk :: Monad m => m ℕ8 -> m 𝔻 Source # toChunk :: 𝔻 -> 𝐼 ℕ8 Source #
Chunky () Source #
Instance details Defined in UVMHS.Core.Chunky Methods chunkSize :: P () -> ℕ64 Source # fromChunk :: Monad m => m ℕ8 -> m () Source # toChunk :: () -> 𝐼 ℕ8 Source #
(Chunky b, a ⇄ b) => Chunky a Source #
Instance details Defined in UVMHS.Core.Chunky Methods chunkSize :: P a -> ℕ64 Source # fromChunk :: Monad m => m ℕ8 -> m a Source # toChunk :: a -> 𝐼 ℕ8 Source #
(Chunky a, Chunky b) => Chunky (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Chunky Methods chunkSize :: P (a ∧ b) -> ℕ64 Source # fromChunk :: Monad m => m ℕ8 -> m (a ∧ b) Source # toChunk :: (a ∧ b) -> 𝐼 ℕ8 Source #
(Chunky a, Chunky b) => Chunky (a ∨ b) Source #
Instance details Defined in UVMHS.Core.Chunky Methods chunkSize :: P (a ∨ b) -> ℕ64 Source # fromChunk :: Monad m => m ℕ8 -> m (a ∨ b) Source # toChunk :: (a ∨ b) -> 𝐼 ℕ8 Source #