module Membrain.Constructors
(
bit
, nibble
, byte
, kilobyte
, megabyte
, gigabyte
, terabyte
, petabyte
, exabyte
, zettabyte
, yottabyte
, kibibyte
, mebibyte
, gibibyte
, tebibyte
, pebibyte
, exbibyte
, zebibyte
, yobibyte
) where
import GHC.Natural (Natural)
import Membrain.Memory (Memory (..), memory)
import Membrain.Units (Bit, Byte, Exabyte, Exbibyte, Gibibyte, Gigabyte, Kibibyte, Kilobyte,
Mebibyte, Megabyte, Nibble, Pebibyte, Petabyte, Tebibyte, Terabyte, Yobibyte,
Yottabyte, Zebibyte, Zettabyte)
bit :: Natural -> Memory Bit
bit :: Natural -> Memory Bit
bit = Natural -> Memory Bit
forall (mem :: Nat). Natural -> Memory mem
Memory
{-# INLINE bit #-}
nibble :: Natural -> Memory Nibble
nibble :: Natural -> Memory Nibble
nibble = Natural -> Memory Nibble
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE nibble #-}
byte :: Natural -> Memory Byte
byte :: Natural -> Memory Byte
byte = Natural -> Memory Byte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE byte #-}
kilobyte :: Natural -> Memory Kilobyte
kilobyte :: Natural -> Memory Kilobyte
kilobyte = Natural -> Memory Kilobyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE kilobyte #-}
megabyte :: Natural -> Memory Megabyte
megabyte :: Natural -> Memory Megabyte
megabyte = Natural -> Memory Megabyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE megabyte #-}
gigabyte :: Natural -> Memory Gigabyte
gigabyte :: Natural -> Memory Gigabyte
gigabyte = Natural -> Memory Gigabyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE gigabyte #-}
terabyte :: Natural -> Memory Terabyte
terabyte :: Natural -> Memory Terabyte
terabyte = Natural -> Memory Terabyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE terabyte #-}
petabyte :: Natural -> Memory Petabyte
petabyte :: Natural -> Memory Petabyte
petabyte = Natural -> Memory Petabyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE petabyte #-}
exabyte :: Natural -> Memory Exabyte
exabyte :: Natural -> Memory Exabyte
exabyte = Natural -> Memory Exabyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE exabyte #-}
zettabyte :: Natural -> Memory Zettabyte
zettabyte :: Natural -> Memory Zettabyte
zettabyte = Natural -> Memory Zettabyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE zettabyte #-}
yottabyte :: Natural -> Memory Yottabyte
yottabyte :: Natural -> Memory Yottabyte
yottabyte = Natural -> Memory Yottabyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE yottabyte #-}
kibibyte :: Natural -> Memory Kibibyte
kibibyte :: Natural -> Memory Kibibyte
kibibyte = Natural -> Memory Kibibyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE kibibyte #-}
mebibyte :: Natural -> Memory Mebibyte
mebibyte :: Natural -> Memory Mebibyte
mebibyte = Natural -> Memory Mebibyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE mebibyte #-}
gibibyte :: Natural -> Memory Gibibyte
gibibyte :: Natural -> Memory Gibibyte
gibibyte = Natural -> Memory Gibibyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE gibibyte #-}
tebibyte :: Natural -> Memory Tebibyte
tebibyte :: Natural -> Memory Tebibyte
tebibyte = Natural -> Memory Tebibyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE tebibyte #-}
pebibyte :: Natural -> Memory Pebibyte
pebibyte :: Natural -> Memory Pebibyte
pebibyte = Natural -> Memory Pebibyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE pebibyte #-}
exbibyte :: Natural -> Memory Exbibyte
exbibyte :: Natural -> Memory Exbibyte
exbibyte = Natural -> Memory Exbibyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE exbibyte #-}
zebibyte :: Natural -> Memory Zebibyte
zebibyte :: Natural -> Memory Zebibyte
zebibyte = Natural -> Memory Zebibyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE zebibyte #-}
yobibyte :: Natural -> Memory Yobibyte
yobibyte :: Natural -> Memory Yobibyte
yobibyte = Natural -> Memory Yobibyte
forall (mem :: Nat). KnownNat mem => Natural -> Memory mem
memory
{-# INLINE yobibyte #-}