Topaz.Rec

Documentation

data Rec :: (k -> *) -> [k] -> * where

Constructors

RecNil :: Rec f '[]

RecCons :: f r -> Rec f rs -> Rec f (r ': rs)

Instances

TestCoercion k f => TestCoercion [k] (Rec k f)

Methods

testCoercion :: f a -> f b -> Maybe (Coercion (Rec k f) a b)

TestEquality k f => TestEquality [k] (Rec k f)

Methods

testEquality :: f a -> f b -> Maybe ((Rec k f :~: a) b)

MonoidForall k f => MonoidForall [k] (Rec k f)

Methods

memptyForall :: Sing (Rec k f) a -> f a

StorableForall k f => StorableForall [k] (Rec k f)

Methods

peekForall :: Sing (Rec k f) a -> Ptr (f a) -> IO (f a)

pokeForall :: Ptr (f a) -> f a -> IO ()

sizeOfFunctorForall :: f a -> Int

sizeOfForall :: Proxy (Rec k f -> *) f -> Sing (Rec k f) a -> Int

SemigroupForall k f => SemigroupForall [k] (Rec k f)

Methods

sappendForall :: f a -> f a -> f a

FromJSONExists k f => FromJSONExists [k] (Rec k f)

Methods

parseJSONExists :: Value -> Parser (Exists (Rec k f) f)

FromJSONForall k f => FromJSONForall [k] (Rec k f)

Methods

parseJSONForall :: Sing (Rec k f) a -> Value -> Parser (f a)

ToJSONForall k f => ToJSONForall [k] (Rec k f)

Methods

toJSONForall :: f a -> Value

HashableForall k f => HashableForall [k] (Rec k f)

Methods

hashWithSaltForall :: Int -> f a -> Int

ShowForall k f => ShowForall [k] (Rec k f)

Methods

showsPrecForall :: Int -> f a -> ShowS

OrdForall k f => OrdForall [k] (Rec k f)

Methods

compareForall :: f a -> f a -> Ordering

EqForall k f => EqForall [k] (Rec k f)

Methods

eqForall :: f a -> f a -> Bool

EqForall k f => Eq (Rec k f as)

Methods

(==) :: Rec k f as -> Rec k f as -> Bool

(/=) :: Rec k f as -> Rec k f as -> Bool

OrdForall k f => Ord (Rec k f as)

Methods

compare :: Rec k f as -> Rec k f as -> Ordering

(<) :: Rec k f as -> Rec k f as -> Bool

(<=) :: Rec k f as -> Rec k f as -> Bool

(>) :: Rec k f as -> Rec k f as -> Bool

(>=) :: Rec k f as -> Rec k f as -> Bool

max :: Rec k f as -> Rec k f as -> Rec k f as

min :: Rec k f as -> Rec k f as -> Rec k f as

ShowForall k f => Show (Rec k f as)

Methods

showsPrec :: Int -> Rec k f as -> ShowS

show :: Rec k f as -> String

showList :: [Rec k f as] -> ShowS

SemigroupForall k f => Semigroup (Rec k f as)

Methods

(<>) :: Rec k f as -> Rec k f as -> Rec k f as

sconcat :: NonEmpty (Rec k f as) -> Rec k f as

stimes :: Integral b => b -> Rec k f as -> Rec k f as

(MonoidForall k f, Reify [k] as) => Monoid (Rec k f as)

Methods

mempty :: Rec k f as

mappend :: Rec k f as -> Rec k f as -> Rec k f as

mconcat :: [Rec k f as] -> Rec k f as

HashableForall k f => Hashable (Rec k f as)

Methods

hashWithSalt :: Int -> Rec k f as -> Int

hash :: Rec k f as -> Int

ToJSONForall k f => ToJSON (Rec k f as)

Methods

toJSON :: Rec k f as -> Value

toEncoding :: Rec k f as -> Encoding

toJSONList :: [Rec k f as] -> Value

toEncodingList :: [Rec k f as] -> Encoding

(FromJSONForall k f, Reify [k] as) => FromJSON (Rec k f as)

Methods

parseJSON :: Value -> Parser (Rec k f as)

parseJSONList :: Value -> Parser [Rec k f as]

(StorableForall k f, Reify [k] as) => Storable (Rec k f as)

Methods

sizeOf :: Rec k f as -> Int

alignment :: Rec k f as -> Int

peekElemOff :: Ptr (Rec k f as) -> Int -> IO (Rec k f as)

pokeElemOff :: Ptr (Rec k f as) -> Int -> Rec k f as -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Rec k f as)

pokeByteOff :: Ptr b -> Int -> Rec k f as -> IO ()

peek :: Ptr (Rec k f as) -> IO (Rec k f as)

poke :: Ptr (Rec k f as) -> Rec k f as -> IO ()

map :: (forall x. f x -> g x) -> Rec f as -> Rec g as

traverse :: Applicative h => (forall x. f x -> h (g x)) -> Rec f rs -> h (Rec g rs)

traverse_ :: Applicative h => (forall x. f x -> h b) -> Rec f rs -> h ()

zipWith :: (forall x. f x -> g x -> h x) -> Rec f rs -> Rec g rs -> Rec h rs

foldMap :: forall f m rs. Monoid m => (forall x. f x -> m) -> Rec f rs -> m

Map each element of a record to a monoid and combine the results.

foldMap1 :: forall f m r rs. Semigroup m => (forall x. f x -> m) -> Rec f (r ': rs) -> m