Wakame.Generics

Documentation

>>> import Wakame
>>> data Point = Point { x :: Double, y :: Double } deriving (Show, Generic)

Internal

class IsRow' f where

Associated Types

type Of' f :: [FIELD]

Methods

fromRow' :: Row (Of' f) -> f a

toRow' :: f a -> Row (Of' f)

Instances

IsRow' (U1 :: k -> Type)

Defined in Wakame.Generics

Associated Types

type Of' U1 :: [FIELD]

Methods

fromRow' :: Row (Of' U1) -> U1 a

toRow' :: U1 a -> Row (Of' U1)

IsRow' (S1 (MetaSel (Nothing :: Maybe Symbol) su ss ds) (Rec0 (V ((,) key a))) :: k -> Type)

Defined in Wakame.Generics

Associated Types

type Of' (S1 (MetaSel Nothing su ss ds) (Rec0 (V (key, a)))) :: [FIELD]

Methods

fromRow' :: Row (Of' (S1 (MetaSel Nothing su ss ds) (Rec0 (V (key, a))))) -> S1 (MetaSel Nothing su ss ds) (Rec0 (V (key, a))) a0

toRow' :: S1 (MetaSel Nothing su ss ds) (Rec0 (V (key, a))) a0 -> Row (Of' (S1 (MetaSel Nothing su ss ds) (Rec0 (V (key, a)))))

IsRow' (S1 (MetaSel (Just key) su ss ds) (Rec0 a) :: k -> Type)

Defined in Wakame.Generics

Associated Types

type Of' (S1 (MetaSel (Just key) su ss ds) (Rec0 a)) :: [FIELD]

Methods

fromRow' :: Row (Of' (S1 (MetaSel (Just key) su ss ds) (Rec0 a))) -> S1 (MetaSel (Just key) su ss ds) (Rec0 a) a0

toRow' :: S1 (MetaSel (Just key) su ss ds) (Rec0 a) a0 -> Row (Of' (S1 (MetaSel (Just key) su ss ds) (Rec0 a)))

(IsRow' a, IsRow' b, l ~ Of' a, r ~ Of' b, Union l r (l ++ r)) => IsRow' (a :*: b :: k -> Type)

Defined in Wakame.Generics

Associated Types

type Of' (a :*: b) :: [FIELD]

Methods

fromRow' :: Row (Of' (a :*: b)) -> (a :*: b) a0

toRow' :: (a :*: b) a0 -> Row (Of' (a :*: b))

IsRow' f => IsRow' (C1 i f :: k -> Type)

Defined in Wakame.Generics

Associated Types

type Of' (C1 i f) :: [FIELD]

Methods

fromRow' :: Row (Of' (C1 i f)) -> C1 i f a

toRow' :: C1 i f a -> Row (Of' (C1 i f))

IsRow' f => IsRow' (D1 i f :: k -> Type)

Defined in Wakame.Generics

Associated Types

type Of' (D1 i f) :: [FIELD]

Methods

fromRow' :: Row (Of' (D1 i f)) -> D1 i f a

toRow' :: D1 i f a -> Row (Of' (D1 i f))

Orphan instances

(Generic a, IsRow' (Rep a)) => IsRow a

Instance of IsRow over generic rep >>> :kind! Of Point Of Point :: [(Symbol, *)] = '[ '("x", Double), '("y", Double)]

>>> toRow' $ from $ Point 1.2 8.3
(x: 1.2) :* (y: 8.3) :* Nil
>>> to @Point $ fromRow' $ keyed @"x" 1.2 :* keyed @"y" 8.3 :* Nil
Point {x = 1.2, y = 8.3}

Associated Types

type Of a :: [FIELD]

Methods

fromRow :: Row (Of a) -> a

toRow :: a -> Row (Of a)