Safe Haskell	Safe-Inferred
Language	Haskell2010

UVMHS.Lib.Dataframe

Documentation

data FrameType Source #

Constructors

B_FT
N_FT
Z_FT
D_FT
S_FT

Instances

Instances details

Show FrameType Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods showsPrec :: Int -> FrameType -> ShowS # show :: FrameType -> String # showList :: [FrameType] -> ShowS #
Eq FrameType Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods (==) :: FrameType -> FrameType -> Bool # (/=) :: FrameType -> FrameType -> Bool #
Ord FrameType Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods compare :: FrameType -> FrameType -> Ordering # (<) :: FrameType -> FrameType -> Bool # (<=) :: FrameType -> FrameType -> Bool # (>) :: FrameType -> FrameType -> Bool # (>=) :: FrameType -> FrameType -> Bool # max :: FrameType -> FrameType -> FrameType # min :: FrameType -> FrameType -> FrameType #

s_FTL :: (⌲) FrameType () Source #

d_FTL :: (⌲) FrameType () Source #

z_FTL :: (⌲) FrameType () Source #

n_FTL :: (⌲) FrameType () Source #

b_FTL :: (⌲) FrameType () Source #

frameTypeCode :: FrameType -> 𝕊 Source #

data FrameVal Source #

Constructors

B_FV 𝔹
N_FV ℕ64
Z_FV ℤ64
D_FV 𝔻
S_FV 𝕊

Instances

Instances details

Show FrameVal Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods showsPrec :: Int -> FrameVal -> ShowS # show :: FrameVal -> String # showList :: [FrameVal] -> ShowS #
Eq FrameVal Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods (==) :: FrameVal -> FrameVal -> Bool # (/=) :: FrameVal -> FrameVal -> Bool #
Ord FrameVal Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods compare :: FrameVal -> FrameVal -> Ordering # (<) :: FrameVal -> FrameVal -> Bool # (<=) :: FrameVal -> FrameVal -> Bool # (>) :: FrameVal -> FrameVal -> Bool # (>=) :: FrameVal -> FrameVal -> Bool # max :: FrameVal -> FrameVal -> FrameVal # min :: FrameVal -> FrameVal -> FrameVal #
(Pretty 𝔹, Pretty ℕ64, Pretty ℤ64, Pretty 𝔻, Pretty 𝕊) => Pretty FrameVal Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods pretty :: FrameVal -> Doc Source #

s_FVL :: (⌲) FrameVal 𝕊 Source #

d_FVL :: (⌲) FrameVal 𝔻 Source #

z_FVL :: (⌲) FrameVal ℤ64 Source #

n_FVL :: (⌲) FrameVal ℕ64 Source #

b_FVL :: (⌲) FrameVal 𝔹 Source #

data FrameCol Source #

Constructors

B_FC (𝕌 𝔹)
N_FC (𝕌 ℕ64)
Z_FC (𝕌 ℤ64)
D_FC (𝕌 𝔻)
S_FC (𝕍 𝕊)

Instances

Instances details

Show FrameCol Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods showsPrec :: Int -> FrameCol -> ShowS # show :: FrameCol -> String # showList :: [FrameCol] -> ShowS #
Eq FrameCol Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods (==) :: FrameCol -> FrameCol -> Bool # (/=) :: FrameCol -> FrameCol -> Bool #
Ord FrameCol Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods compare :: FrameCol -> FrameCol -> Ordering # (<) :: FrameCol -> FrameCol -> Bool # (<=) :: FrameCol -> FrameCol -> Bool # (>) :: FrameCol -> FrameCol -> Bool # (>=) :: FrameCol -> FrameCol -> Bool # max :: FrameCol -> FrameCol -> FrameCol # min :: FrameCol -> FrameCol -> FrameCol #

s_FCL :: (⌲) FrameCol (𝕍 𝕊) Source #

d_FCL :: (⌲) FrameCol (𝕌 𝔻) Source #

z_FCL :: (⌲) FrameCol (𝕌 ℤ64) Source #

n_FCL :: (⌲) FrameCol (𝕌 ℕ64) Source #

b_FCL :: (⌲) FrameCol (𝕌 𝔹) Source #

frameColType :: FrameCol -> FrameType Source #

frameColPack :: FrameType -> 𝐼C FrameVal -> 𝑂 FrameCol Source #

frameColUnpack :: FrameCol -> 𝐼C FrameVal Source #

frameColIndex :: ℕ64 -> FrameCol -> 𝑂 FrameVal Source #

data FrameGrouping v Source #

Constructors

B_FG (𝔹 ⇰ v)
N_FG (ℕ64 ⇰ v)
Z_FG (ℤ64 ⇰ v)
D_FG (𝔻 ⇰ v)
S_FG (𝕊 ⇰ v)

Instances

Instances details

Functor FrameGrouping Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods map :: (a -> b) -> FrameGrouping a -> FrameGrouping b Source #
FunctorM FrameGrouping Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods mapM :: Monad m => (a -> m b) -> FrameGrouping a -> m (FrameGrouping b) Source #
Show v => Show (FrameGrouping v) Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods showsPrec :: Int -> FrameGrouping v -> ShowS # show :: FrameGrouping v -> String # showList :: [FrameGrouping v] -> ShowS #
Eq v => Eq (FrameGrouping v) Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods (==) :: FrameGrouping v -> FrameGrouping v -> Bool # (/=) :: FrameGrouping v -> FrameGrouping v -> Bool #
Ord v => Ord (FrameGrouping v) Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods compare :: FrameGrouping v -> FrameGrouping v -> Ordering # (<) :: FrameGrouping v -> FrameGrouping v -> Bool # (<=) :: FrameGrouping v -> FrameGrouping v -> Bool # (>) :: FrameGrouping v -> FrameGrouping v -> Bool # (>=) :: FrameGrouping v -> FrameGrouping v -> Bool # max :: FrameGrouping v -> FrameGrouping v -> FrameGrouping v # min :: FrameGrouping v -> FrameGrouping v -> FrameGrouping v #
(Pretty (𝔹 ⇰ v), Pretty (ℕ64 ⇰ v), Pretty (ℤ64 ⇰ v), Pretty (𝔻 ⇰ v), Pretty (𝕊 ⇰ v)) => Pretty (FrameGrouping v) Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods pretty :: FrameGrouping v -> Doc Source #

frameGroupingInterWithM :: (Monad m, MonadFail m) => (v₁ -> v₂ -> m v₃) -> FrameGrouping v₁ -> FrameGrouping v₂ -> m (FrameGrouping v₃) Source #

data FrameData Source #

Constructors

Vec_FD ℕ64 (𝕊 ⇰ FrameCol)
Grp_FD 𝕊 (FrameGrouping FrameData)

Instances

Instances details

Show FrameData Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods showsPrec :: Int -> FrameData -> ShowS # show :: FrameData -> String # showList :: [FrameData] -> ShowS #
Eq FrameData Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods (==) :: FrameData -> FrameData -> Bool # (/=) :: FrameData -> FrameData -> Bool #
Ord FrameData Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods compare :: FrameData -> FrameData -> Ordering # (<) :: FrameData -> FrameData -> Bool # (<=) :: FrameData -> FrameData -> Bool # (>) :: FrameData -> FrameData -> Bool # (>=) :: FrameData -> FrameData -> Bool # max :: FrameData -> FrameData -> FrameData # min :: FrameData -> FrameData -> FrameData #

data Frame Source #

Constructors

Frame
Fields frameColP :: 𝑃 𝕊 frameColV :: 𝕍 𝕊 frameColT :: 𝕊 ⇰ FrameType frameGrpT :: 𝕊 ⇰ FrameType frameData :: (𝕊 ⇰ FrameVal) ⇰ (ℕ64 ∧ (𝕊 ⇰ FrameCol))

Instances

Instances details

Show Frame Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods showsPrec :: Int -> Frame -> ShowS # show :: Frame -> String # showList :: [Frame] -> ShowS #
Eq Frame Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods (==) :: Frame -> Frame -> Bool # (/=) :: Frame -> Frame -> Bool #
Ord Frame Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods compare :: Frame -> Frame -> Ordering # (<) :: Frame -> Frame -> Bool # (<=) :: Frame -> Frame -> Bool # (>) :: Frame -> Frame -> Bool # (>=) :: Frame -> Frame -> Bool # max :: Frame -> Frame -> Frame # min :: Frame -> Frame -> Frame #
Pretty Frame Source #
Instance details Defined in UVMHS.Lib.Dataframe Methods pretty :: Frame -> Doc Source #

frameProduct :: Frame -> Frame -> 𝑂 Frame Source #

frameGroup :: 𝕊 -> 𝕊 -> Frame -> 𝑂 Frame Source #

frameUngroup :: 𝕊 -> 𝕊 -> Frame -> 𝑂 Frame Source #

frameValParse :: 𝕊 -> FrameType -> IO FrameVal Source #

frameParse :: 𝕊 -> IO Frame Source #