Wakame.Nub

Documentation

>>> import Wakame

class Nub s t where

Typeclass for reshaping fields nub function eliminates duplicate fileds. When duplication, the first element takes precedence. It also reorders fields so to match the return type.

>>> toRow (keyed @"x" 42.0, keyed @"x" 56.4)
(x: 42.0) :* (x: 56.4) :* Nil
>>> nub $ toRow (keyed @"x" 42.0, keyed @"x" 56.4) :: Row '[ '("x", Double)]
(x: 42.0) :* Nil

Methods

nub :: Row s -> Row t

Instances

Nub s ([] :: [FIELD])

Defined in Wakame.Nub

Methods

nub :: Row s -> Row []

(Nub s t, HasField s p) => Nub s (p ': t)

Defined in Wakame.Nub

Methods

nub :: Row s -> Row (p ': t)

class HasField r p where

Typeclass to pick a first matched field

Methods

getField :: Row r -> V p

Instances

HasField rs p => HasField (r ': rs) p

Defined in Wakame.Nub

Methods

getField :: Row (r ': rs) -> V p

HasField (p ': rs) p

Defined in Wakame.Nub

Methods

getField :: Row (p ': rs) -> V p