Moduleone-liner-2.1Haskell2010

Generics.OneLiner.Internal

21 types
4 classes
17 values

Packageone-liner-2.1
Exports45
LanguageHaskell2010
LicenceBSD-3-Clause
SourceInternal.hs

valueto :: Generic a => Rep a x %1 -> a

valuefrom :: Generic a => a %1 -> Rep a x

valueto1 :: Generic1 f => Rep1 f x %1 -> f x

valuefrom1 :: Generic1 f => f x %1 -> Rep1 f x

family

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

Instances9Constraints', …

type Constraints' Par1 Par1 c c1 = ()Defined in one-liner-2.1 · Generics.OneLiner.Internal
type Constraints' U1 U1 c c1 = ()Defined in one-liner-2.1 · Generics.OneLiner.Internal
type Constraints' V1 V1 c c1 = ()Defined in one-liner-2.1 · Generics.OneLiner.Internal
type Constraints' (K1 i a) (K1 i' b) c c1 = c a bDefined in one-liner-2.1 · Generics.OneLiner.Internal
type Constraints' (M1 i t f) (M1 i' t' f') c c1 = Constraints' f f' c c1Defined in one-liner-2.1 · Generics.OneLiner.Internal
type Constraints' (Rec1 f) (Rec1 g) c c1 = c1 f gDefined in one-liner-2.1 · Generics.OneLiner.Internal
type Constraints' (f :*: g) (f' :*: g') c c1 = (Constraints' f f' c c1, Constraints' g g' c c1)Defined in one-liner-2.1 · Generics.OneLiner.Internal
type Constraints' (f :+: g) (f' :+: g') c c1 = (Constraints' f f' c c1, Constraints' g g' c c1)Defined in one-liner-2.1 · Generics.OneLiner.Internal
type Constraints' (f :.: g) (f' :.: g') c c1 = (c1 f f', Constraints' g g' c c1)Defined in one-liner-2.1 · Generics.OneLiner.Internal

typetype ADT' = ADT_ Identity Proxy ADTProfunctor

typetype ADTNonEmpty' = ADT_ Identity Proxy NonEmptyProfunctor

typetype ADTRecord' = ADT_ Identity Proxy RecordProfunctor

type

type ADT1' (t :: Type -> Type) (t' :: Type -> Type) = (ADT_ Identity Identity ADTProfunctor t t', ADT_ Proxy Identity ADT1Profunctor t t')

type

type ADTNonEmpty1' (t :: Type -> Type) (t' :: Type -> Type) = (ADT_ Identity Identity NonEmptyProfunctor t t', ADT_ Proxy Identity NonEmptyProfunctor t t')

type

type ADTRecord1' (t :: Type -> Type) (t' :: Type -> Type) = (ADT_ Identity Identity RecordProfunctor t t', ADT_ Proxy Identity RecordProfunctor t t')

typetype ADTProfunctor = GenericEmptyProfunctor ': NonEmptyProfunctor

typetype ADT1Profunctor = GenericConstantProfunctor ': ADTProfunctor

typetype NonEmptyProfunctor = GenericSumProfunctor ': RecordProfunctor

typetype RecordProfunctor = '[GenericProductProfunctor, GenericUnitProfunctor, Profunctor]

familytype family Satisfies (p :: Type -> Type -> Type) (ks :: [(Type -> Type -> Type) -> Constraint]) :: Constraint

Instances2Satisfies

type Satisfies p '[] = ()Defined in one-liner-2.1 · Generics.OneLiner.Internal
type Satisfies p (k ': ks) = (k p, Satisfies p ks)Defined in one-liner-2.1 · Generics.OneLiner.Internal

classclass (|-) (ks :: [(Type -> Type -> Type) -> Constraint]) (k :: (Type -> Type -> Type) -> Constraint) where

Methods

implies :: Satisfies p ks => (k p => p a b) -> p a b

Instances2|-

(k ': _ks) |- kDefined in one-liner-2.1 · Generics.OneLiner.Internal
ks |- k => (_k ': ks) |- kDefined in one-liner-2.1 · Generics.OneLiner.Internal

valuegeneric'

:: (ADT_ Identity Proxy ks t t', Constraints' t t' c AnyType, Satisfies p ks)
=> forall s s'. c s s' => p s s'
-> p (t a) (t' b)

valuegeneric1'

:: (ADT_ Proxy Identity ks t t', Constraints' t t' AnyType c1, Satisfies p ks)
=> forall (s :: Type -> Type) (s' :: Type -> Type) d e. c1 s s' => p d e -> p (s d) (s' e)
-> p a b
-> p (t a) (t' b)

valuegeneric01'

:: (ADT_ Identity Identity ks t t', Constraints' t t' c0 c1, Satisfies p ks)
=> forall s s'. c0 s s' => p s s'
-> forall (s :: Type -> Type) (s' :: Type -> Type) d e. c1 s s' => p d e -> p (s d) (s' e)
-> p a b
-> p (t a) (t' b)

class

class ADT_ (nullary :: Type -> Type) (unary :: Type -> Type) (ks :: [(Type -> Type -> Type) -> Constraint]) (t :: Type -> Type) (t' :: Type -> Type) where

Methods

generic_ :: (Constraints' t t' c c1, Satisfies p ks) => Proxy c -> (forall s s'. c s s' => nullary (p s s')) -> Proxy c1 -> (forall (r1 :: Type -> Type) (s1 :: Type -> Type) d e. c1 r1 s1 => unary (p d e -> p (r1 d) (s1 e))) -> unary (p a b) -> p (t a) (t' b)

Instances10ADT_, …

ks |- Profunctor => ADT_ nullary Identity ks Par1 Par1Defined in one-liner-2.1 · Generics.OneLiner.Internal
ks |- GenericEmptyProfunctor => ADT_ nullary unary ks V1 V1Defined in one-liner-2.1 · Generics.OneLiner.Internal
ks |- GenericUnitProfunctor => ADT_ nullary unary ks U1 U1Defined in one-liner-2.1 · Generics.OneLiner.Internal
ks |- Profunctor => ADT_ nullary Identity ks (Rec1 f) (Rec1 f')Defined in one-liner-2.1 · Generics.OneLiner.Internal
(ks |- GenericProductProfunctor, ADT_ nullary unary ks f f', ADT_ nullary unary ks g g') => ADT_ nullary unary ks (f :*: g) (f' :*: g')Defined in one-liner-2.1 · Generics.OneLiner.Internal
(ks |- GenericSumProfunctor, ADT_ nullary unary ks f f', ADT_ nullary unary ks g g') => ADT_ nullary unary ks (f :+: g) (f' :+: g')Defined in one-liner-2.1 · Generics.OneLiner.Internal
ks |- Profunctor => ADT_ Identity unary ks (K1 i v) (K1 i' v')Defined in one-liner-2.1 · Generics.OneLiner.Internal
(ks |- Profunctor, ADT_ nullary Identity ks g g') => ADT_ nullary Identity ks (f :.: g) (f' :.: g')Defined in one-liner-2.1 · Generics.OneLiner.Internal
(ks |- Profunctor, ADT_ nullary unary ks f f') => ADT_ nullary unary ks (M1 i c f) (M1 i' c' f')Defined in one-liner-2.1 · Generics.OneLiner.Internal
ks |- GenericConstantProfunctor => ADT_ Proxy unary ks (K1 i v) (K1 i' v)Defined in one-liner-2.1 · Generics.OneLiner.Internal

datadata Ctor a (b :: k)

Constructors

Ctor
- index :: a -> Int
- count :: Int

Instances6Profunctor, GenericConstantProfunctor, GenericEmptyProfunctor, GenericProductProfunctor, GenericSumProfunctor, GenericUnitProfunctor

Profunctor CtorDefined in one-liner-2.1 · Generics.OneLiner.Internal
GenericConstantProfunctor CtorDefined in one-liner-2.1 · Generics.OneLiner.Internal
GenericEmptyProfunctor CtorDefined in one-liner-2.1 · Generics.OneLiner.Internal
GenericProductProfunctor CtorDefined in one-liner-2.1 · Generics.OneLiner.Internal
GenericSumProfunctor CtorDefined in one-liner-2.1 · Generics.OneLiner.Internal
GenericUnitProfunctor CtorDefined in one-liner-2.1 · Generics.OneLiner.Internal

valuerecord

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

valuerecord1

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

valuerecord01

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

valuenonEmpty

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

valuenonEmpty1

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

valuenonEmpty01

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

valuegeneric

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

valuegeneric1

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

valuegeneric01

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

typetype Constraints t t' (c :: Type -> Type -> Constraint) = Constraints' (Rep t) (Rep t') c AnyType

Constraints is a constraint type synonym, containing the constraint requirements for an instance for t of class c. It requires an instance of class c for each component of t.

type

type Constraints1 (t :: Type -> Type) (t' :: Type -> Type) (c :: (Type -> Type) -> (Type -> Type) -> Constraint) = Constraints' (Rep1 t) (Rep1 t') AnyType c

type

type Constraints01 (t :: Type -> Type) (t' :: Type -> Type) (c0 :: Type -> Type -> Constraint) (c1 :: (Type -> Type) -> (Type -> Type) -> Constraint) = Constraints' (Rep1 t) (Rep1 t') c0 c1

typetype ADTRecord t t' = (Generic t, Generic t', ADTRecord' (Rep t) (Rep t'), Constraints t t' AnyType)

ADTRecord is a constraint type synonym. An instance is an ADT with *exactly* one constructor.

type

type ADTRecord1 (t :: Type -> Type) (t' :: Type -> Type) = (Generic1 t, Generic1 t', ADTRecord1' (Rep1 t) (Rep1 t'), Constraints1 t t' AnyType)

typetype ADTNonEmpty t t' = (Generic t, Generic t', ADTNonEmpty' (Rep t) (Rep t'), Constraints t t' AnyType)

ADTNonEmpty is a constraint type synonym. An instance is an ADT with *at least* one constructor.

type

type ADTNonEmpty1 (t :: Type -> Type) (t' :: Type -> Type) = (Generic1 t, Generic1 t', ADTNonEmpty1' (Rep1 t) (Rep1 t'), Constraints1 t t' AnyType)

typetype ADT t t' = (Generic t, Generic t', ADT' (Rep t) (Rep t'), Constraints t t' AnyType)

ADT is a constraint type synonym. The Generic instance can be derived, and any generic representation will be an instance of ADT' and AnyType.

type

type ADT1 (t :: Type -> Type) (t' :: Type -> Type) = (Generic1 t, Generic1 t', ADT1' (Rep1 t) (Rep1 t'), Constraints1 t t' AnyType)

classclass AnyType (a :: k) (b :: k1)

Instances1AnyType

AnyType a bDefined in one-liner-2.1 · Generics.OneLiner.Internal

familytype family FunResult t where

The result type of a curried function.

If r is not a function type (i.e., does not unify with `_ -> _`):

FunResult (a -> r) ~ r
FunResult (a -> b -> r) ~ r
FunResult (a -> b -> c -> r) ~ r

Equations

FunResult (a -> b) = FunResult b
FunResult r = r

classclass FunConstraints (c :: Type -> Constraint) t where

Automatically apply a lifted function to a polymorphic argument as many times as possible.

A constraint `FunConstraint c t` is equivalent to the conjunction of constraints `c s` for every argument type of t.

If r is not a function type:

c a :- FunConstraints c (a -> r)
(c a, c b) :- FunConstraints c (a -> b -> r)
(c a, c b, c d) :- FunConstraints c (a -> b -> d -> r)

Methods

autoApply :: Applicative f => (forall s. c s => f s) -> f t -> f (FunResult t)

Instances2FunConstraints

FunResult r ~ r => FunConstraints c rDefined in one-liner-2.1 · Generics.OneLiner.Internal
(c a, FunConstraints c b) => FunConstraints c (a -> b)Defined in one-liner-2.1 · Generics.OneLiner.Internal

datadata Pair a

Constructors

Pair a a

Instances1Functor

Functor PairDefined in one-liner-2.1 · Generics.OneLiner.Internal

value(.:) :: (c -> d) -> (a -> b -> c) -> a -> b -> d