Generic.Data.Internal.Functions

Type level functions on generic representations.

Documentation

type family Map (s :: TyFun a b -> Type) (r :: k -> Type) :: k -> Type

Apply a type function on every field of a type.

Instances

type Map a b k s (V1 k)

type Map a b k s (V1 k) = V1 k

type Map a b k s (U1 k)

type Map a b k s (U1 k) = U1 k

type Map a b k s ((:*:) k f g)

type Map a b k s ((:*:) k f g) = (:*:) k (Map a b k s f) (Map a b k s g)

type Map a b k s ((:+:) k f g)

type Map a b k s ((:+:) k f g) = (:+:) k (Map a b k s f) (Map a b k s g)

type Map a b k s (M1 k i c f)

type Map a b k s (M1 k i c f) = M1 k i c (Map a b k s f)

type Map * * k s (K1 k i c)

type Map * * k s (K1 k i c) = K1 k i ((@@) * * s c)

type family NConstructors (r :: k -> Type) :: Nat

Number of constructors of a data type.

Instances

type NConstructors k ((:+:) k f g)

type NConstructors k ((:+:) k f g) = (+) (NConstructors k f) (NConstructors k g)

type NConstructors k (M1 k C c f)

type NConstructors k (M1 k C c f) = 1

type NConstructors k (M1 k D c f)

type NConstructors k (M1 k D c f) = NConstructors k f

nconstructors :: forall r. KnownNat (NConstructors r) => Integer

type family NFields (r :: k -> Type) :: Nat

Arity of a constructor.

Instances

type NFields k ((:*:) k f g)

type NFields k ((:*:) k f g) = (+) (NFields k f) (NFields k g)

type NFields k (M1 k S c f)

type NFields k (M1 k S c f) = 1

type NFields k (M1 k C c f)

type NFields k (M1 k C c f) = NFields k f

nfields :: forall r. KnownNat (NFields r) => Integer