Moduleone-liner-2.1.1Haskell2010

Generics.OneLiner.Internal.Unary

Synopsis

type J
class D
type Constraints
type Constraints1
type Constraints01
type Constraints'
type ADTRecord
type ADTRecord1
type ADTNonEmpty
type ADTNonEmpty1
type ADT
type ADT1
value record
value record1
value record01
value nonEmpty
value nonEmpty1
value nonEmpty01
value generic
value generic1
value generic01
value ctorIndex
value ctorIndex1
class AnyType

Packageone-liner-2.1.1
Exports24
LanguageHaskell2010
LicenceBSD-3-Clause
SourceUnary.hs

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

Source#

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

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

Source#

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

Instances1D

(c a, a ~ b) => D c a bDefined in one-liner-2.1.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

:: (ADTRecord t, Constraints t c, GenericRecordProfunctor p)
=> forall s. c s => p s s
-> p t t

valuerecord1

:: (ADTRecord1 t, Constraints1 t c, GenericRecordProfunctor p)
=> forall d e (s :: Type -> Type). c s => p d e -> p (s d) (s e)
-> p a b
-> p (t a) (t b)

valuerecord01

:: (ADTRecord1 t, Constraints01 t c0 c1, GenericRecordProfunctor p)
=> forall s. c0 s => p s s
-> forall d e (s :: Type -> Type). c1 s => p d e -> p (s d) (s e)
-> p a b
-> p (t a) (t b)

valuenonEmpty

:: (ADTNonEmpty t, Constraints t c, GenericNonEmptyProfunctor p)
=> forall s. c s => p s s
-> p t t

valuenonEmpty1

:: (ADTNonEmpty1 t, Constraints1 t c, GenericNonEmptyProfunctor p)
=> forall d e (s :: Type -> Type). c s => p d e -> p (s d) (s e)
-> p a b
-> p (t a) (t b)

valuenonEmpty01

:: (ADTNonEmpty1 t, Constraints01 t c0 c1, GenericNonEmptyProfunctor p)
=> forall s. c0 s => p s s
-> forall d e (s :: Type -> Type). c1 s => p d e -> p (s d) (s e)
-> p a b
-> p (t a) (t b)

valuegeneric

:: (ADT t, Constraints t c, GenericProfunctor p)
=> forall s. c s => p s s
-> p t t

valuegeneric1

:: (ADT1 t, Constraints1 t c, Generic1Profunctor p)
=> forall d e (s :: Type -> Type). c s => p d e -> p (s d) (s e)
-> p a b
-> p (t a) (t b)

valuegeneric01

:: (ADT1 t, Constraints01 t c0 c1, GenericProfunctor p)
=> forall s. c0 s => p s s
-> forall d e (s :: Type -> Type). c1 s => p d e -> p (s d) (s e)
-> p a b
-> p (t a) (t b)

valuectorIndex :: ADT t => t -> Int

Source#

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)

Source#

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

Instances1AnyType

AnyType aDefined in one-liner-2.1.1 · Generics.OneLiner.Internal.Unary