Moduleone-liner-2.1Haskell2010

Generics.OneLiner.Internal.Unary

typetype J (f :: k1 -> k1 -> k) (a :: k1) = f a a

Type-level join, of kind (k -> k -> k') -> k -> k'.

classclass (c a, a ~ b) => D (c :: k -> Constraint) (a :: k) (b :: k)

Constraint-level duplicate, of kind (k -> Constraint) -> k -> k -> Constraint.

Instances1D

(c a, a ~ b) => D c a bDefined in one-liner-2.1 · Generics.OneLiner.Internal.Unary

typetype Constraints t (c :: Type -> Constraint) = Constraints t t (D c)

typetype Constraints1 (t :: Type -> Type) (c :: (Type -> Type) -> Constraint) = Constraints1 t t (D c)

type

type Constraints01 (t :: Type -> Type) (c0 :: Type -> Constraint) (c1 :: (Type -> Type) -> Constraint) = Constraints01 t t (D c0) (D c1)

type

type Constraints' (t :: Type -> Type) (c :: Type -> Constraint) (c1 :: (Type -> Type) -> Constraint) = Constraints' t t (D c) (D c1)

typetype ADTRecord t = (ADTRecord t t, Constraints t AnyType)

typetype ADTRecord1 (t :: Type -> Type) = (ADTRecord1 t t, Constraints1 t AnyType)

typetype ADTNonEmpty t = (ADTNonEmpty t t, Constraints t AnyType)

typetype ADTNonEmpty1 (t :: Type -> Type) = (ADTNonEmpty1 t t, Constraints1 t AnyType)

typetype ADT t = (ADT t t, Constraints t AnyType)

typetype ADT1 (t :: Type -> Type) = (ADT1 t t, Constraints1 t AnyType)

valuerecord

valuerecord1

valuerecord01

valuenonEmpty

valuenonEmpty1

valuenonEmpty01

valuegeneric

valuegeneric1

valuegeneric01

valuectorIndex :: ADT t => t -> Int

Get the index in the lists returned by create and createA of the constructor of the given value.

For example, this is the implementation of put that generates the binary data that the above implentation of get expects:

put t = putWord8 (toEnum (ctorIndex t)) <> gfoldMap @Binary put t

valuectorIndex1 :: ADT1 t => t a -> Int

classclass AnyType (a :: k)

Any type is instance of AnyType, you can use it with @AnyType if you don't actually need a class constraint.

Instances1AnyType