| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Napkin.Types.BigQuery.Clustering
Synopsis
- clustering :: forall (n :: Natural). (1 <= n, KnownNat n, n <= Max) => BuildVector n ColumnName -> Maybe Clustering
- clusteringColumns :: Clustering -> [ColumnName]
- clusteringUnsafe :: [ColumnName] -> Clustering
- parseClustering :: MonadFail f => Vector ColumnName -> f Clustering
- data Clustering where
- Clustering :: forall (n :: Natural). (1 <= n, n <= Max) => Vector n ColumnName -> Clustering
- type Max = 4
- data BuildVector (n :: Nat) a where
- Nil :: forall a. BuildVector 0 a
- (:<) :: forall a (n1 :: Natural). a -> BuildVector n1 a -> BuildVector (1 + n1) a
Documentation
clustering :: forall (n :: Natural). (1 <= n, KnownNat n, n <= Max) => BuildVector n ColumnName -> Maybe Clustering #
clusteringColumns :: Clustering -> [ColumnName] #
clusteringUnsafe :: [ColumnName] -> Clustering #
parseClustering :: MonadFail f => Vector ColumnName -> f Clustering #
data Clustering where #
Constructors
| Clustering :: forall (n :: Natural). (1 <= n, n <= Max) => Vector n ColumnName -> Clustering |
Instances
| FromJSON Clustering # | |||||
Defined in Napkin.Types.BigQuery.Clustering | |||||
| Show Clustering # | |||||
Defined in Napkin.Types.BigQuery.Clustering Methods showsPrec :: Int -> Clustering -> ShowS # show :: Clustering -> String # showList :: [Clustering] -> ShowS # | |||||
| Eq Clustering # | |||||
Defined in Napkin.Types.BigQuery.Clustering | |||||
| One Clustering # | |||||
Defined in Napkin.Types.BigQuery.Clustering Associated Types
Methods one :: OneItem Clustering -> Clustering # | |||||
| ToHashComponent (b :: k) Clustering # | |||||
Defined in Napkin.Types.BigQuery.Clustering Methods | |||||
| IsString (Maybe Clustering) # | |||||
Defined in Napkin.Types.BigQuery.Clustering Methods fromString :: String -> Maybe Clustering # | |||||
| type OneItem Clustering # | |||||
Defined in Napkin.Types.BigQuery.Clustering | |||||
data BuildVector (n :: Nat) a where #
Since: vector-sized-1.6.0
Constructors
| Nil :: forall a. BuildVector 0 a | Since: vector-sized-1.6.0 |
| (:<) :: forall a (n1 :: Natural). a -> BuildVector n1 a -> BuildVector (1 + n1) a infixr 5 | Since: vector-sized-1.6.0 |
Instances
| Show a => Show (BuildVector n a) # | Since: vector-sized-1.6.0 |
Defined in Data.Vector.Generic.Sized Methods showsPrec :: Int -> BuildVector n a -> ShowS # show :: BuildVector n a -> String # showList :: [BuildVector n a] -> ShowS # | |