ProjectM36.Tupleable.Deriving

Newtypes for deriving Tupleable instances with customization using DerivingVia.

Inspired by Dhall.Deriving which in turn was inspired by Matt Parson's blog post Mirror Mirror: Reflection and Encoding Via.

required extensions:

• DerivingVia
• DeriveGenerics
• TypeOperators (for (<<<) and (>>>))
• DataKinds (for types that take a string argument)

DerivingVia Newtype

newtype Codec tag a

A newtype wrapper to allow for easier deriving of Tupleable instances with customization.

The tag type variable can be used to specify options for converting the datatype to and from a RelationTuple. For example,

data Example = Example
    { exampleFoo :: Int
    , exampleBar :: Int
    }
    deriving stock (Generic)
    deriving (Tupleable)
        via Codec (Field (DropPrefix "example" >>> CamelCase)) Example

will derive an instance of Tupleable where field names are translated into attribute names by dropping the prefix "example" and then converting the result to camelCase. So "exampleFoo" becomes "foo" and "exampleBar" becomes "bar".

Requires the DerivingGeneric and DerivingVia extensions to be enabled.

Constructors

Codec

Fields

• unCodec :: a

Instances

(ModifyOptions tag, Generic a, TupleableG (Rep a)) => Tupleable (Codec tag a)

Defined in ProjectM36.Tupleable.Deriving

Methods

toTuple :: Codec tag a -> RelationTuple

fromTuple :: RelationTuple -> Either RelationalError (Codec tag a)

toAttributes :: Proxy (Codec tag a) -> Attributes

Type-level Options

class ModifyOptions a where

Types that can be used as tags for Codec.

Methods

modifyOptions :: proxy a -> TupleableOptions -> TupleableOptions

Instances

ModifyOptions ()

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyOptions :: proxy () -> TupleableOptions -> TupleableOptions

ModifyText a => ModifyOptions (Field a)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyOptions :: proxy (Field a) -> TupleableOptions -> TupleableOptions

(ModifyOptions a, ModifyOptions b) => ModifyOptions (a <<< b)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyOptions :: proxy (a <<< b) -> TupleableOptions -> TupleableOptions

(ModifyOptions a, ModifyOptions b) => ModifyOptions (a >>> b)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyOptions :: proxy (a >>> b) -> TupleableOptions -> TupleableOptions

data Field a

Change how record field names are translated into attribute names. For example,

Field SnakeCase

will translate the field name fooBar into the attribute name foo_bar.

Instances

ModifyText a => ModifyOptions (Field a)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyOptions :: proxy (Field a) -> TupleableOptions -> TupleableOptions

Type-level Text -> Text Functions

class ModifyText a where

Types that can be used in options that modify Text such as in Field.

Methods

modifyText :: proxy a -> Text -> Text

Instances

ModifyText CamelCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy CamelCase -> Text -> Text

ModifyText LowerCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy LowerCase -> Text -> Text

ModifyText PascalCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy PascalCase -> Text -> Text

ModifyText SnakeCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy SnakeCase -> Text -> Text

ModifyText SpinalCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy SpinalCase -> Text -> Text

ModifyText TitleCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy TitleCase -> Text -> Text

ModifyText TrainCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy TrainCase -> Text -> Text

ModifyText UpperCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy UpperCase -> Text -> Text

ModifyText ()

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy () -> Text -> Text

KnownSymbol prefix => ModifyText (AddPrefix prefix)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (AddPrefix prefix) -> Text -> Text

KnownSymbol suffix => ModifyText (AddSuffix suffix)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (AddSuffix suffix) -> Text -> Text

KnownSymbol prefix => ModifyText (DropPrefix prefix)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (DropPrefix prefix) -> Text -> Text

KnownSymbol suffix => ModifyText (DropSuffix suffix)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (DropSuffix suffix) -> Text -> Text

(ModifyText a, ModifyText b) => ModifyText (a <<< b)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (a <<< b) -> Text -> Text

(ModifyText a, ModifyText b) => ModifyText (a >>> b)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (a >>> b) -> Text -> Text

data AddPrefix (prefix :: Symbol)

Add a prefix. AddPrefix "foo" will transform "bar" into "foobar".

Instances

KnownSymbol prefix => ModifyText (AddPrefix prefix)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (AddPrefix prefix) -> Text -> Text

data DropPrefix (prefix :: Symbol)

Drop a prefix. DropPrefix "bar" will transform "foobar" into "foo".

Instances

KnownSymbol prefix => ModifyText (DropPrefix prefix)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (DropPrefix prefix) -> Text -> Text

data AddSuffix (suffix :: Symbol)

Add a suffix. AddSuffix "bar" will transform "foo" into "foobar".

Instances

KnownSymbol suffix => ModifyText (AddSuffix suffix)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (AddSuffix suffix) -> Text -> Text

data DropSuffix (suffix :: Symbol)

Drop a suffix. DropSuffix "bar" will transform "foobar" into "foo".

Instances

KnownSymbol suffix => ModifyText (DropSuffix suffix)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (DropSuffix suffix) -> Text -> Text

data UpperCase

Convert to UPPERCASE. Will transform "foobar" into "FOOBAR".

Instances

ModifyText UpperCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy UpperCase -> Text -> Text

data LowerCase

Convert to lowercase. Will transform "FOOBAR" into "foobar".

Instances

ModifyText LowerCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy LowerCase -> Text -> Text

data TitleCase

Convert to Title Case. Will transform "fooBar" into "Foo Bar".

Instances

ModifyText TitleCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy TitleCase -> Text -> Text

data CamelCase

Convert to camelCase. Will transform "foo_bar" into "fooBar".

Instances

ModifyText CamelCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy CamelCase -> Text -> Text

data PascalCase

Convert to PascalCase. Will transform "foo_bar" into "FooBar".

Instances

ModifyText PascalCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy PascalCase -> Text -> Text

data SnakeCase

Convert to snake_case. Will transform "fooBar" into "foo_bar".

Instances

ModifyText SnakeCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy SnakeCase -> Text -> Text

data SpinalCase

Convert to spinal-case. will transform "fooBar" into "foo-bar".

Instances

ModifyText SpinalCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy SpinalCase -> Text -> Text

data TrainCase

Convert to Train-Case. Will transform "fooBar" into "Foo-Bar".

Instances

ModifyText TrainCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy TrainCase -> Text -> Text

Composition

type AsIs = ()

Identity option.

data a <<< b

Right to left composition.

Requires the TypeOperators extension to be enabled.

Instances

(ModifyOptions a, ModifyOptions b) => ModifyOptions (a <<< b)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyOptions :: proxy (a <<< b) -> TupleableOptions -> TupleableOptions

(ModifyText a, ModifyText b) => ModifyText (a <<< b)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (a <<< b) -> Text -> Text

data a >>> b

Left to right composition.

Requires the TypeOperators extension to be enabled.

Instances

(ModifyOptions a, ModifyOptions b) => ModifyOptions (a >>> b)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyOptions :: proxy (a >>> b) -> TupleableOptions -> TupleableOptions

(ModifyText a, ModifyText b) => ModifyText (a >>> b)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (a >>> b) -> Text -> Text

Re-Exports

class Generic a

Representable types of kind *. This class is derivable in GHC with the DeriveGeneric flag on.

A Generic instance must satisfy the following laws:

from . to ≡ id
to . from ≡ id

Minimal complete definition

from, to

Instances

Generic Value

Defined in Data.Aeson.Types.Internal

Associated Types

type Rep Value :: Type -> Type

Methods

from :: Value -> Rep Value x

to :: Rep Value x -> Value

Generic All

Defined in Data.Semigroup.Internal

Associated Types

type Rep All :: Type -> Type

Methods

from :: All -> Rep All x

to :: Rep All x -> All

Generic Any

Defined in Data.Semigroup.Internal

Associated Types

type Rep Any :: Type -> Type

Methods

from :: Any -> Rep Any x

to :: Rep Any x -> Any

Generic Version

Defined in Data.Version

Associated Types

type Rep Version :: Type -> Type

Methods

from :: Version -> Rep Version x

to :: Rep Version x -> Version

Generic Void

Defined in Data.Void

Associated Types

type Rep Void :: Type -> Type

Methods

from :: Void -> Rep Void x

to :: Rep Void x -> Void

Generic ByteOrder

Defined in GHC.ByteOrder

Associated Types

type Rep ByteOrder :: Type -> Type

Methods

from :: ByteOrder -> Rep ByteOrder x

to :: Rep ByteOrder x -> ByteOrder

Generic Fingerprint

Defined in GHC.Generics

Associated Types

type Rep Fingerprint :: Type -> Type

Methods

from :: Fingerprint -> Rep Fingerprint x

to :: Rep Fingerprint x -> Fingerprint

Generic Associativity

Defined in GHC.Generics

Associated Types

type Rep Associativity :: Type -> Type

Methods

from :: Associativity -> Rep Associativity x

to :: Rep Associativity x -> Associativity

Generic DecidedStrictness

Defined in GHC.Generics

Associated Types

type Rep DecidedStrictness :: Type -> Type

Methods

from :: DecidedStrictness -> Rep DecidedStrictness x

to :: Rep DecidedStrictness x -> DecidedStrictness

Generic Fixity

Defined in GHC.Generics

Associated Types

type Rep Fixity :: Type -> Type

Methods

from :: Fixity -> Rep Fixity x

to :: Rep Fixity x -> Fixity

Generic SourceStrictness

Defined in GHC.Generics

Associated Types

type Rep SourceStrictness :: Type -> Type

Methods

from :: SourceStrictness -> Rep SourceStrictness x

to :: Rep SourceStrictness x -> SourceStrictness

Generic SourceUnpackedness

Defined in GHC.Generics

Associated Types

type Rep SourceUnpackedness :: Type -> Type

Methods

from :: SourceUnpackedness -> Rep SourceUnpackedness x

to :: Rep SourceUnpackedness x -> SourceUnpackedness

Generic ExitCode

Defined in GHC.IO.Exception

Associated Types

type Rep ExitCode :: Type -> Type

Methods

from :: ExitCode -> Rep ExitCode x

to :: Rep ExitCode x -> ExitCode

Generic CCFlags

Defined in GHC.RTS.Flags

Associated Types

type Rep CCFlags :: Type -> Type

Methods

from :: CCFlags -> Rep CCFlags x

to :: Rep CCFlags x -> CCFlags

Generic ConcFlags

Defined in GHC.RTS.Flags

Associated Types

type Rep ConcFlags :: Type -> Type

Methods

from :: ConcFlags -> Rep ConcFlags x

to :: Rep ConcFlags x -> ConcFlags

Generic DebugFlags

Defined in GHC.RTS.Flags

Associated Types

type Rep DebugFlags :: Type -> Type

Methods

from :: DebugFlags -> Rep DebugFlags x

to :: Rep DebugFlags x -> DebugFlags

Generic DoCostCentres

Defined in GHC.RTS.Flags

Associated Types

type Rep DoCostCentres :: Type -> Type

Methods

from :: DoCostCentres -> Rep DoCostCentres x

to :: Rep DoCostCentres x -> DoCostCentres

Generic DoHeapProfile

Defined in GHC.RTS.Flags

Associated Types

type Rep DoHeapProfile :: Type -> Type

Methods

from :: DoHeapProfile -> Rep DoHeapProfile x

to :: Rep DoHeapProfile x -> DoHeapProfile

Generic DoTrace

Defined in GHC.RTS.Flags

Associated Types

type Rep DoTrace :: Type -> Type

Methods

from :: DoTrace -> Rep DoTrace x

to :: Rep DoTrace x -> DoTrace

Generic GCFlags

Defined in GHC.RTS.Flags

Associated Types

type Rep GCFlags :: Type -> Type

Methods

from :: GCFlags -> Rep GCFlags x

to :: Rep GCFlags x -> GCFlags

Generic GiveGCStats

Defined in GHC.RTS.Flags

Associated Types

type Rep GiveGCStats :: Type -> Type

Methods

from :: GiveGCStats -> Rep GiveGCStats x

to :: Rep GiveGCStats x -> GiveGCStats

Generic MiscFlags

Defined in GHC.RTS.Flags

Associated Types

type Rep MiscFlags :: Type -> Type

Methods

from :: MiscFlags -> Rep MiscFlags x

to :: Rep MiscFlags x -> MiscFlags

Generic ParFlags

Defined in GHC.RTS.Flags

Associated Types

type Rep ParFlags :: Type -> Type

Methods

from :: ParFlags -> Rep ParFlags x

to :: Rep ParFlags x -> ParFlags

Generic ProfFlags

Defined in GHC.RTS.Flags

Associated Types

type Rep ProfFlags :: Type -> Type

Methods

from :: ProfFlags -> Rep ProfFlags x

to :: Rep ProfFlags x -> ProfFlags

Generic RTSFlags

Defined in GHC.RTS.Flags

Associated Types

type Rep RTSFlags :: Type -> Type

Methods

from :: RTSFlags -> Rep RTSFlags x

to :: Rep RTSFlags x -> RTSFlags

Generic TickyFlags

Defined in GHC.RTS.Flags

Associated Types

type Rep TickyFlags :: Type -> Type

Methods

from :: TickyFlags -> Rep TickyFlags x

to :: Rep TickyFlags x -> TickyFlags

Generic TraceFlags

Defined in GHC.RTS.Flags

Associated Types

type Rep TraceFlags :: Type -> Type

Methods

from :: TraceFlags -> Rep TraceFlags x

to :: Rep TraceFlags x -> TraceFlags

Generic SrcLoc

Defined in GHC.Generics

Associated Types

type Rep SrcLoc :: Type -> Type

Methods

from :: SrcLoc -> Rep SrcLoc x

to :: Rep SrcLoc x -> SrcLoc

Generic GCDetails

Defined in GHC.Stats

Associated Types

type Rep GCDetails :: Type -> Type

Methods

from :: GCDetails -> Rep GCDetails x

to :: Rep GCDetails x -> GCDetails

Generic RTSStats

Defined in GHC.Stats

Associated Types

type Rep RTSStats :: Type -> Type

Methods

from :: RTSStats -> Rep RTSStats x

to :: Rep RTSStats x -> RTSStats

Generic GeneralCategory

Defined in GHC.Generics

Associated Types

type Rep GeneralCategory :: Type -> Type

Methods

from :: GeneralCategory -> Rep GeneralCategory x

to :: Rep GeneralCategory x -> GeneralCategory

Generic ConnectionError

Defined in Network.RPC.Curryer.Server

Associated Types

type Rep ConnectionError :: Type -> Type

Methods

from :: ConnectionError -> Rep ConnectionError x

to :: Rep ConnectionError x -> ConnectionError

Generic Envelope

Defined in Network.RPC.Curryer.Server

Associated Types

type Rep Envelope :: Type -> Type

Methods

from :: Envelope -> Rep Envelope x

to :: Rep Envelope x -> Envelope

Generic MessageType

Defined in Network.RPC.Curryer.Server

Associated Types

type Rep MessageType :: Type -> Type

Methods

from :: MessageType -> Rep MessageType x

to :: Rep MessageType x -> MessageType

Generic ForeignSrcLang

Defined in GHC.ForeignSrcLang.Type

Associated Types

type Rep ForeignSrcLang :: Type -> Type

Methods

from :: ForeignSrcLang -> Rep ForeignSrcLang x

to :: Rep ForeignSrcLang x -> ForeignSrcLang

Generic Extension

Defined in GHC.LanguageExtensions.Type

Associated Types

type Rep Extension :: Type -> Type

Methods

from :: Extension -> Rep Extension x

to :: Rep Extension x -> Extension

Generic ClosureType

Defined in GHC.Exts.Heap.ClosureTypes

Associated Types

type Rep ClosureType :: Type -> Type

Methods

from :: ClosureType -> Rep ClosureType x

to :: Rep ClosureType x -> ClosureType

Generic PrimType

Defined in GHC.Exts.Heap.Closures

Associated Types

type Rep PrimType :: Type -> Type

Methods

from :: PrimType -> Rep PrimType x

to :: Rep PrimType x -> PrimType

Generic TsoFlags

Defined in GHC.Exts.Heap.Closures

Associated Types

type Rep TsoFlags :: Type -> Type

Methods

from :: TsoFlags -> Rep TsoFlags x

to :: Rep TsoFlags x -> TsoFlags

Generic WhatNext

Defined in GHC.Exts.Heap.Closures

Associated Types

type Rep WhatNext :: Type -> Type

Methods

from :: WhatNext -> Rep WhatNext x

to :: Rep WhatNext x -> WhatNext

Generic WhyBlocked

Defined in GHC.Exts.Heap.Closures

Associated Types

type Rep WhyBlocked :: Type -> Type

Methods

from :: WhyBlocked -> Rep WhyBlocked x

to :: Rep WhyBlocked x -> WhyBlocked

Generic StgInfoTable

Defined in GHC.Exts.Heap.InfoTable.Types

Associated Types

type Rep StgInfoTable :: Type -> Type

Methods

from :: StgInfoTable -> Rep StgInfoTable x

to :: Rep StgInfoTable x -> StgInfoTable

Generic CostCentre

Defined in GHC.Exts.Heap.ProfInfo.Types

Associated Types

type Rep CostCentre :: Type -> Type

Methods

from :: CostCentre -> Rep CostCentre x

to :: Rep CostCentre x -> CostCentre

Generic CostCentreStack

Defined in GHC.Exts.Heap.ProfInfo.Types

Associated Types

type Rep CostCentreStack :: Type -> Type

Methods

from :: CostCentreStack -> Rep CostCentreStack x

to :: Rep CostCentreStack x -> CostCentreStack

Generic IndexTable

Defined in GHC.Exts.Heap.ProfInfo.Types

Associated Types

type Rep IndexTable :: Type -> Type

Methods

from :: IndexTable -> Rep IndexTable x

to :: Rep IndexTable x -> IndexTable

Generic StgTSOProfInfo

Defined in GHC.Exts.Heap.ProfInfo.Types

Associated Types

type Rep StgTSOProfInfo :: Type -> Type

Methods

from :: StgTSOProfInfo -> Rep StgTSOProfInfo x

to :: Rep StgTSOProfInfo x -> StgTSOProfInfo

Generic Ordering

Defined in GHC.Generics

Associated Types

type Rep Ordering :: Type -> Type

Methods

from :: Ordering -> Rep Ordering x

to :: Rep Ordering x -> Ordering

Generic FFIConv

Defined in GHCi.FFI

Associated Types

type Rep FFIConv :: Type -> Type

Methods

from :: FFIConv -> Rep FFIConv x

to :: Rep FFIConv x -> FFIConv

Generic FFIType

Defined in GHCi.FFI

Associated Types

type Rep FFIType :: Type -> Type

Methods

from :: FFIType -> Rep FFIType x

to :: Rep FFIType x -> FFIType

Generic EvalOpts

Defined in GHCi.Message

Associated Types

type Rep EvalOpts :: Type -> Type

Methods

from :: EvalOpts -> Rep EvalOpts x

to :: Rep EvalOpts x -> EvalOpts

Generic SerializableException

Defined in GHCi.Message

Associated Types

type Rep SerializableException :: Type -> Type

Methods

from :: SerializableException -> Rep SerializableException x

to :: Rep SerializableException x -> SerializableException

Generic THResultType

Defined in GHCi.Message

Associated Types

type Rep THResultType :: Type -> Type

Methods

from :: THResultType -> Rep THResultType x

to :: Rep THResultType x -> THResultType

Generic ResolvedBCO

Defined in GHCi.ResolvedBCO

Associated Types

type Rep ResolvedBCO :: Type -> Type

Methods

from :: ResolvedBCO -> Rep ResolvedBCO x

to :: Rep ResolvedBCO x -> ResolvedBCO

Generic ResolvedBCOPtr

Defined in GHCi.ResolvedBCO

Associated Types

type Rep ResolvedBCOPtr :: Type -> Type

Methods

from :: ResolvedBCOPtr -> Rep ResolvedBCOPtr x

to :: Rep ResolvedBCOPtr x -> ResolvedBCOPtr

Generic URI

Defined in Network.URI

Associated Types

type Rep URI :: Type -> Type

Methods

from :: URI -> Rep URI x

to :: Rep URI x -> URI

Generic URIAuth

Defined in Network.URI

Associated Types

type Rep URIAuth :: Type -> Type

Methods

from :: URIAuth -> Rep URIAuth x

to :: Rep URIAuth x -> URIAuth

Generic Mode

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep Mode :: Type -> Type

Methods

from :: Mode -> Rep Mode x

to :: Rep Mode x -> Mode

Generic Style

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep Style :: Type -> Type

Methods

from :: Style -> Rep Style x

to :: Rep Style x -> Style

Generic TextDetails

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep TextDetails :: Type -> Type

Methods

from :: TextDetails -> Rep TextDetails x

to :: Rep TextDetails x -> TextDetails

Generic Doc

Defined in Text.PrettyPrint.HughesPJ

Associated Types

type Rep Doc :: Type -> Type

Methods

from :: Doc -> Rep Doc x

to :: Rep Doc x -> Doc

Generic AtomFunctionError

Defined in ProjectM36.AtomFunctionError

Associated Types

type Rep AtomFunctionError :: Type -> Type

Methods

from :: AtomFunctionError -> Rep AtomFunctionError x

to :: Rep AtomFunctionError x -> AtomFunctionError

Generic Atom

Defined in ProjectM36.Base

Associated Types

type Rep Atom :: Type -> Type

Methods

from :: Atom -> Rep Atom x

to :: Rep Atom x -> Atom

Generic AtomType

Defined in ProjectM36.Base

Associated Types

type Rep AtomType :: Type -> Type

Methods

from :: AtomType -> Rep AtomType x

to :: Rep AtomType x -> AtomType

Generic Attribute

Defined in ProjectM36.Base

Associated Types

type Rep Attribute :: Type -> Type

Methods

from :: Attribute -> Rep Attribute x

to :: Rep Attribute x -> Attribute

Generic Attributes

Defined in ProjectM36.Base

Associated Types

type Rep Attributes :: Type -> Type

Methods

from :: Attributes -> Rep Attributes x

to :: Rep Attributes x -> Attributes

Generic DataConstructorDef

Defined in ProjectM36.Base

Associated Types

type Rep DataConstructorDef :: Type -> Type

Methods

from :: DataConstructorDef -> Rep DataConstructorDef x

to :: Rep DataConstructorDef x -> DataConstructorDef

Generic DataConstructorDefArg

Defined in ProjectM36.Base

Associated Types

type Rep DataConstructorDefArg :: Type -> Type

Methods

from :: DataConstructorDefArg -> Rep DataConstructorDefArg x

to :: Rep DataConstructorDefArg x -> DataConstructorDefArg

Generic DatabaseContext

Defined in ProjectM36.Base

Associated Types

type Rep DatabaseContext :: Type -> Type

Methods

from :: DatabaseContext -> Rep DatabaseContext x

to :: Rep DatabaseContext x -> DatabaseContext

Generic GraphRefTransactionMarker

Defined in ProjectM36.Base

Associated Types

type Rep GraphRefTransactionMarker :: Type -> Type

Methods

from :: GraphRefTransactionMarker -> Rep GraphRefTransactionMarker x

to :: Rep GraphRefTransactionMarker x -> GraphRefTransactionMarker

Generic InclusionDependency

Defined in ProjectM36.Base

Associated Types

type Rep InclusionDependency :: Type -> Type

Methods

from :: InclusionDependency -> Rep InclusionDependency x

to :: Rep InclusionDependency x -> InclusionDependency

Generic MergeStrategy

Defined in ProjectM36.Base

Associated Types

type Rep MergeStrategy :: Type -> Type

Methods

from :: MergeStrategy -> Rep MergeStrategy x

to :: Rep MergeStrategy x -> MergeStrategy

Generic Notification

Defined in ProjectM36.Base

Associated Types

type Rep Notification :: Type -> Type

Methods

from :: Notification -> Rep Notification x

to :: Rep Notification x -> Notification

Generic Relation

Defined in ProjectM36.Base

Associated Types

type Rep Relation :: Type -> Type

Methods

from :: Relation -> Rep Relation x

to :: Rep Relation x -> Relation

Generic RelationCardinality

Defined in ProjectM36.Base

Associated Types

type Rep RelationCardinality :: Type -> Type

Methods

from :: RelationCardinality -> Rep RelationCardinality x

to :: Rep RelationCardinality x -> RelationCardinality

Generic RelationTuple

Defined in ProjectM36.Base

Associated Types

type Rep RelationTuple :: Type -> Type

Methods

from :: RelationTuple -> Rep RelationTuple x

to :: Rep RelationTuple x -> RelationTuple

Generic RelationTupleSet

Defined in ProjectM36.Base

Associated Types

type Rep RelationTupleSet :: Type -> Type

Methods

from :: RelationTupleSet -> Rep RelationTupleSet x

to :: Rep RelationTupleSet x -> RelationTupleSet

Generic Schema

Defined in ProjectM36.Base

Associated Types

type Rep Schema :: Type -> Type

Methods

from :: Schema -> Rep Schema x

to :: Rep Schema x -> Schema

Generic SchemaIsomorph

Defined in ProjectM36.Base

Associated Types

type Rep SchemaIsomorph :: Type -> Type

Methods

from :: SchemaIsomorph -> Rep SchemaIsomorph x

to :: Rep SchemaIsomorph x -> SchemaIsomorph

Generic Schemas

Defined in ProjectM36.Base

Associated Types

type Rep Schemas :: Type -> Type

Methods

from :: Schemas -> Rep Schemas x

to :: Rep Schemas x -> Schemas

Generic Transaction

Defined in ProjectM36.Base

Associated Types

type Rep Transaction :: Type -> Type

Methods

from :: Transaction -> Rep Transaction x

to :: Rep Transaction x -> Transaction

Generic TransactionGraph

Defined in ProjectM36.Base

Associated Types

type Rep TransactionGraph :: Type -> Type

Methods

from :: TransactionGraph -> Rep TransactionGraph x

to :: Rep TransactionGraph x -> TransactionGraph

Generic TransactionInfo

Defined in ProjectM36.Base

Associated Types

type Rep TransactionInfo :: Type -> Type

Methods

from :: TransactionInfo -> Rep TransactionInfo x

to :: Rep TransactionInfo x -> TransactionInfo

Generic TypeConstructorDef

Defined in ProjectM36.Base

Associated Types

type Rep TypeConstructorDef :: Type -> Type

Methods

from :: TypeConstructorDef -> Rep TypeConstructorDef x

to :: Rep TypeConstructorDef x -> TypeConstructorDef

Generic ConnectionError

Defined in ProjectM36.Client

Associated Types

type Rep ConnectionError :: Type -> Type

Methods

from :: ConnectionError -> Rep ConnectionError x

to :: Rep ConnectionError x -> ConnectionError

Generic EvaluatedNotification

Defined in ProjectM36.Client

Associated Types

type Rep EvaluatedNotification :: Type -> Type

Methods

from :: EvaluatedNotification -> Rep EvaluatedNotification x

to :: Rep EvaluatedNotification x -> EvaluatedNotification

Generic AttributeOrder

Defined in ProjectM36.DataFrame

Associated Types

type Rep AttributeOrder :: Type -> Type

Methods

from :: AttributeOrder -> Rep AttributeOrder x

to :: Rep AttributeOrder x -> AttributeOrder

Generic AttributeOrderExpr

Defined in ProjectM36.DataFrame

Associated Types

type Rep AttributeOrderExpr :: Type -> Type

Methods

from :: AttributeOrderExpr -> Rep AttributeOrderExpr x

to :: Rep AttributeOrderExpr x -> AttributeOrderExpr

Generic DataFrame

Defined in ProjectM36.DataFrame

Associated Types

type Rep DataFrame :: Type -> Type

Methods

from :: DataFrame -> Rep DataFrame x

to :: Rep DataFrame x -> DataFrame

Generic DataFrameExpr

Defined in ProjectM36.DataFrame

Associated Types

type Rep DataFrameExpr :: Type -> Type

Methods

from :: DataFrameExpr -> Rep DataFrameExpr x

to :: Rep DataFrameExpr x -> DataFrameExpr

Generic DataFrameTuple

Defined in ProjectM36.DataFrame

Associated Types

type Rep DataFrameTuple :: Type -> Type

Methods

from :: DataFrameTuple -> Rep DataFrameTuple x

to :: Rep DataFrameTuple x -> DataFrameTuple

Generic Order

Defined in ProjectM36.DataFrame

Associated Types

type Rep Order :: Type -> Type

Methods

from :: Order -> Rep Order x

to :: Rep Order x -> Order

Generic DatabaseContextFunctionError

Defined in ProjectM36.DatabaseContextFunctionError

Associated Types

type Rep DatabaseContextFunctionError :: Type -> Type

Methods

from :: DatabaseContextFunctionError -> Rep DatabaseContextFunctionError x

to :: Rep DatabaseContextFunctionError x -> DatabaseContextFunctionError

Generic ImportError'

Defined in ProjectM36.Error

Associated Types

type Rep ImportError' :: Type -> Type

Methods

from :: ImportError' -> Rep ImportError' x

to :: Rep ImportError' x -> ImportError'

Generic MergeError

Defined in ProjectM36.Error

Associated Types

type Rep MergeError :: Type -> Type

Methods

from :: MergeError -> Rep MergeError x

to :: Rep MergeError x -> MergeError

Generic PersistenceError

Defined in ProjectM36.Error

Associated Types

type Rep PersistenceError :: Type -> Type

Methods

from :: PersistenceError -> Rep PersistenceError x

to :: Rep PersistenceError x -> PersistenceError

Generic RelationalError

Defined in ProjectM36.Error

Associated Types

type Rep RelationalError :: Type -> Type

Methods

from :: RelationalError -> Rep RelationalError x

to :: Rep RelationalError x -> RelationalError

Generic SchemaError

Defined in ProjectM36.Error

Associated Types

type Rep SchemaError :: Type -> Type

Methods

from :: SchemaError -> Rep SchemaError x

to :: Rep SchemaError x -> SchemaError

Generic ScriptCompilationError

Defined in ProjectM36.Error

Associated Types

type Rep ScriptCompilationError :: Type -> Type

Methods

from :: ScriptCompilationError -> Rep ScriptCompilationError x

to :: Rep ScriptCompilationError x -> ScriptCompilationError

Generic SchemaExpr

Defined in ProjectM36.IsomorphicSchema

Associated Types

type Rep SchemaExpr :: Type -> Type

Methods

from :: SchemaExpr -> Rep SchemaExpr x

to :: Rep SchemaExpr x -> SchemaExpr

Generic MerkleHash

Defined in ProjectM36.MerkleHash

Associated Types

type Rep MerkleHash :: Type -> Type

Methods

from :: MerkleHash -> Rep MerkleHash x

to :: Rep MerkleHash x -> MerkleHash

Generic CloseSession

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep CloseSession :: Type -> Type

Methods

from :: CloseSession -> Rep CloseSession x

to :: Rep CloseSession x -> CloseSession

Generic CreateSessionAtCommit

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep CreateSessionAtCommit :: Type -> Type

Methods

from :: CreateSessionAtCommit -> Rep CreateSessionAtCommit x

to :: Rep CreateSessionAtCommit x -> CreateSessionAtCommit

Generic CreateSessionAtHead

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep CreateSessionAtHead :: Type -> Type

Methods

from :: CreateSessionAtHead -> Rep CreateSessionAtHead x

to :: Rep CreateSessionAtHead x -> CreateSessionAtHead

Generic ExecuteAutoMergeToHead

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteAutoMergeToHead :: Type -> Type

Methods

from :: ExecuteAutoMergeToHead -> Rep ExecuteAutoMergeToHead x

to :: Rep ExecuteAutoMergeToHead x -> ExecuteAutoMergeToHead

Generic ExecuteDataFrameExpr

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteDataFrameExpr :: Type -> Type

Methods

from :: ExecuteDataFrameExpr -> Rep ExecuteDataFrameExpr x

to :: Rep ExecuteDataFrameExpr x -> ExecuteDataFrameExpr

Generic ExecuteDatabaseContextExpr

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteDatabaseContextExpr :: Type -> Type

Methods

from :: ExecuteDatabaseContextExpr -> Rep ExecuteDatabaseContextExpr x

to :: Rep ExecuteDatabaseContextExpr x -> ExecuteDatabaseContextExpr

Generic ExecuteDatabaseContextIOExpr

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteDatabaseContextIOExpr :: Type -> Type

Methods

from :: ExecuteDatabaseContextIOExpr -> Rep ExecuteDatabaseContextIOExpr x

to :: Rep ExecuteDatabaseContextIOExpr x -> ExecuteDatabaseContextIOExpr

Generic ExecuteGraphExpr

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteGraphExpr :: Type -> Type

Methods

from :: ExecuteGraphExpr -> Rep ExecuteGraphExpr x

to :: Rep ExecuteGraphExpr x -> ExecuteGraphExpr

Generic ExecuteHeadName

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteHeadName :: Type -> Type

Methods

from :: ExecuteHeadName -> Rep ExecuteHeadName x

to :: Rep ExecuteHeadName x -> ExecuteHeadName

Generic ExecuteRelationalExpr

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteRelationalExpr :: Type -> Type

Methods

from :: ExecuteRelationalExpr -> Rep ExecuteRelationalExpr x

to :: Rep ExecuteRelationalExpr x -> ExecuteRelationalExpr

Generic ExecuteSchemaExpr

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteSchemaExpr :: Type -> Type

Methods

from :: ExecuteSchemaExpr -> Rep ExecuteSchemaExpr x

to :: Rep ExecuteSchemaExpr x -> ExecuteSchemaExpr

Generic ExecuteSetCurrentSchema

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteSetCurrentSchema :: Type -> Type

Methods

from :: ExecuteSetCurrentSchema -> Rep ExecuteSetCurrentSchema x

to :: Rep ExecuteSetCurrentSchema x -> ExecuteSetCurrentSchema

Generic ExecuteTransGraphRelationalExpr

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteTransGraphRelationalExpr :: Type -> Type

Methods

from :: ExecuteTransGraphRelationalExpr -> Rep ExecuteTransGraphRelationalExpr x

to :: Rep ExecuteTransGraphRelationalExpr x -> ExecuteTransGraphRelationalExpr

Generic ExecuteTypeForRelationalExpr

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteTypeForRelationalExpr :: Type -> Type

Methods

from :: ExecuteTypeForRelationalExpr -> Rep ExecuteTypeForRelationalExpr x

to :: Rep ExecuteTypeForRelationalExpr x -> ExecuteTypeForRelationalExpr

Generic ExecuteValidateMerkleHashes

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep ExecuteValidateMerkleHashes :: Type -> Type

Methods

from :: ExecuteValidateMerkleHashes -> Rep ExecuteValidateMerkleHashes x

to :: Rep ExecuteValidateMerkleHashes x -> ExecuteValidateMerkleHashes

Generic GetDDLHash

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep GetDDLHash :: Type -> Type

Methods

from :: GetDDLHash -> Rep GetDDLHash x

to :: Rep GetDDLHash x -> GetDDLHash

Generic Login

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep Login :: Type -> Type

Methods

from :: Login -> Rep Login x

to :: Rep Login x -> Login

Generic Logout

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep Logout :: Type -> Type

Methods

from :: Logout -> Rep Logout x

to :: Rep Logout x -> Logout

Generic RetrieveAtomFunctionSummary

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveAtomFunctionSummary :: Type -> Type

Methods

from :: RetrieveAtomFunctionSummary -> Rep RetrieveAtomFunctionSummary x

to :: Rep RetrieveAtomFunctionSummary x -> RetrieveAtomFunctionSummary

Generic RetrieveAtomTypesAsRelation

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveAtomTypesAsRelation :: Type -> Type

Methods

from :: RetrieveAtomTypesAsRelation -> Rep RetrieveAtomTypesAsRelation x

to :: Rep RetrieveAtomTypesAsRelation x -> RetrieveAtomTypesAsRelation

Generic RetrieveCurrentSchemaName

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveCurrentSchemaName :: Type -> Type

Methods

from :: RetrieveCurrentSchemaName -> Rep RetrieveCurrentSchemaName x

to :: Rep RetrieveCurrentSchemaName x -> RetrieveCurrentSchemaName

Generic RetrieveDDLAsRelation

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveDDLAsRelation :: Type -> Type

Methods

from :: RetrieveDDLAsRelation -> Rep RetrieveDDLAsRelation x

to :: Rep RetrieveDDLAsRelation x -> RetrieveDDLAsRelation

Generic RetrieveDatabaseContextFunctionSummary

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveDatabaseContextFunctionSummary :: Type -> Type

Methods

from :: RetrieveDatabaseContextFunctionSummary -> Rep RetrieveDatabaseContextFunctionSummary x

to :: Rep RetrieveDatabaseContextFunctionSummary x -> RetrieveDatabaseContextFunctionSummary

Generic RetrieveHeadTransactionId

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveHeadTransactionId :: Type -> Type

Methods

from :: RetrieveHeadTransactionId -> Rep RetrieveHeadTransactionId x

to :: Rep RetrieveHeadTransactionId x -> RetrieveHeadTransactionId

Generic RetrieveInclusionDependencies

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveInclusionDependencies :: Type -> Type

Methods

from :: RetrieveInclusionDependencies -> Rep RetrieveInclusionDependencies x

to :: Rep RetrieveInclusionDependencies x -> RetrieveInclusionDependencies

Generic RetrievePlanForDatabaseContextExpr

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrievePlanForDatabaseContextExpr :: Type -> Type

Methods

from :: RetrievePlanForDatabaseContextExpr -> Rep RetrievePlanForDatabaseContextExpr x

to :: Rep RetrievePlanForDatabaseContextExpr x -> RetrievePlanForDatabaseContextExpr

Generic RetrieveRegisteredQueries

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveRegisteredQueries :: Type -> Type

Methods

from :: RetrieveRegisteredQueries -> Rep RetrieveRegisteredQueries x

to :: Rep RetrieveRegisteredQueries x -> RetrieveRegisteredQueries

Generic RetrieveRelationVariableSummary

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveRelationVariableSummary :: Type -> Type

Methods

from :: RetrieveRelationVariableSummary -> Rep RetrieveRelationVariableSummary x

to :: Rep RetrieveRelationVariableSummary x -> RetrieveRelationVariableSummary

Generic RetrieveSessionIsDirty

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveSessionIsDirty :: Type -> Type

Methods

from :: RetrieveSessionIsDirty -> Rep RetrieveSessionIsDirty x

to :: Rep RetrieveSessionIsDirty x -> RetrieveSessionIsDirty

Generic RetrieveTransactionGraph

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveTransactionGraph :: Type -> Type

Methods

from :: RetrieveTransactionGraph -> Rep RetrieveTransactionGraph x

to :: Rep RetrieveTransactionGraph x -> RetrieveTransactionGraph

Generic RetrieveTypeConstructorMapping

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep RetrieveTypeConstructorMapping :: Type -> Type

Methods

from :: RetrieveTypeConstructorMapping -> Rep RetrieveTypeConstructorMapping x

to :: Rep RetrieveTypeConstructorMapping x -> RetrieveTypeConstructorMapping

Generic TestTimeout

Defined in ProjectM36.Server.RemoteCallTypes

Associated Types

type Rep TestTimeout :: Type -> Type

Methods

from :: TestTimeout -> Rep TestTimeout x

to :: Rep TestTimeout x -> TestTimeout

Generic MerkleValidationError

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep MerkleValidationError :: Type -> Type

Methods

from :: MerkleValidationError -> Rep MerkleValidationError x

to :: Rep MerkleValidationError x -> MerkleValidationError

Generic TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionGraphOperator :: Type -> Type

Methods

from :: TransactionGraphOperator -> Rep TransactionGraphOperator x

to :: Rep TransactionGraphOperator x -> TransactionGraphOperator

Generic TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionIdHeadBacktrack :: Type -> Type

Methods

from :: TransactionIdHeadBacktrack -> Rep TransactionIdHeadBacktrack x

to :: Rep TransactionIdHeadBacktrack x -> TransactionIdHeadBacktrack

Generic TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionIdLookup :: Type -> Type

Methods

from :: TransactionIdLookup -> Rep TransactionIdLookup x

to :: Rep TransactionIdLookup x -> TransactionIdLookup

Generic Clock

Defined in Streamly.Internal.Data.Time.Clock.Type

Associated Types

type Rep Clock :: Type -> Type

Methods

from :: Clock -> Rep Clock x

to :: Rep Clock x -> Clock

Generic AnnLookup

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep AnnLookup :: Type -> Type

Methods

from :: AnnLookup -> Rep AnnLookup x

to :: Rep AnnLookup x -> AnnLookup

Generic AnnTarget

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep AnnTarget :: Type -> Type

Methods

from :: AnnTarget -> Rep AnnTarget x

to :: Rep AnnTarget x -> AnnTarget

Generic Bang

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Bang :: Type -> Type

Methods

from :: Bang -> Rep Bang x

to :: Rep Bang x -> Bang

Generic Body

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Body :: Type -> Type

Methods

from :: Body -> Rep Body x

to :: Rep Body x -> Body

Generic Bytes

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Bytes :: Type -> Type

Methods

from :: Bytes -> Rep Bytes x

to :: Rep Bytes x -> Bytes

Generic Callconv

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Callconv :: Type -> Type

Methods

from :: Callconv -> Rep Callconv x

to :: Rep Callconv x -> Callconv

Generic Clause

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Clause :: Type -> Type

Methods

from :: Clause -> Rep Clause x

to :: Rep Clause x -> Clause

Generic Con

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Con :: Type -> Type

Methods

from :: Con -> Rep Con x

to :: Rep Con x -> Con

Generic Dec

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Dec :: Type -> Type

Methods

from :: Dec -> Rep Dec x

to :: Rep Dec x -> Dec

Generic DecidedStrictness

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DecidedStrictness :: Type -> Type

Methods

from :: DecidedStrictness -> Rep DecidedStrictness x

to :: Rep DecidedStrictness x -> DecidedStrictness

Generic DerivClause

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DerivClause :: Type -> Type

Methods

from :: DerivClause -> Rep DerivClause x

to :: Rep DerivClause x -> DerivClause

Generic DerivStrategy

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DerivStrategy :: Type -> Type

Methods

from :: DerivStrategy -> Rep DerivStrategy x

to :: Rep DerivStrategy x -> DerivStrategy

Generic DocLoc

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DocLoc :: Type -> Type

Methods

from :: DocLoc -> Rep DocLoc x

to :: Rep DocLoc x -> DocLoc

Generic Exp

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Exp :: Type -> Type

Methods

from :: Exp -> Rep Exp x

to :: Rep Exp x -> Exp

Generic FamilyResultSig

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep FamilyResultSig :: Type -> Type

Methods

from :: FamilyResultSig -> Rep FamilyResultSig x

to :: Rep FamilyResultSig x -> FamilyResultSig

Generic Fixity

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Fixity :: Type -> Type

Methods

from :: Fixity -> Rep Fixity x

to :: Rep Fixity x -> Fixity

Generic FixityDirection

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep FixityDirection :: Type -> Type

Methods

from :: FixityDirection -> Rep FixityDirection x

to :: Rep FixityDirection x -> FixityDirection

Generic Foreign

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Foreign :: Type -> Type

Methods

from :: Foreign -> Rep Foreign x

to :: Rep Foreign x -> Foreign

Generic FunDep

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep FunDep :: Type -> Type

Methods

from :: FunDep -> Rep FunDep x

to :: Rep FunDep x -> FunDep

Generic Guard

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Guard :: Type -> Type

Methods

from :: Guard -> Rep Guard x

to :: Rep Guard x -> Guard

Generic Info

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Info :: Type -> Type

Methods

from :: Info -> Rep Info x

to :: Rep Info x -> Info

Generic InjectivityAnn

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep InjectivityAnn :: Type -> Type

Methods

from :: InjectivityAnn -> Rep InjectivityAnn x

to :: Rep InjectivityAnn x -> InjectivityAnn

Generic Inline

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Inline :: Type -> Type

Methods

from :: Inline -> Rep Inline x

to :: Rep Inline x -> Inline

Generic Lit

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Lit :: Type -> Type

Methods

from :: Lit -> Rep Lit x

to :: Rep Lit x -> Lit

Generic Loc

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Loc :: Type -> Type

Methods

from :: Loc -> Rep Loc x

to :: Rep Loc x -> Loc

Generic Match

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Match :: Type -> Type

Methods

from :: Match -> Rep Match x

to :: Rep Match x -> Match

Generic ModName

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep ModName :: Type -> Type

Methods

from :: ModName -> Rep ModName x

to :: Rep ModName x -> ModName

Generic Module

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Module :: Type -> Type

Methods

from :: Module -> Rep Module x

to :: Rep Module x -> Module

Generic ModuleInfo

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep ModuleInfo :: Type -> Type

Methods

from :: ModuleInfo -> Rep ModuleInfo x

to :: Rep ModuleInfo x -> ModuleInfo

Generic Name

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Name :: Type -> Type

Methods

from :: Name -> Rep Name x

to :: Rep Name x -> Name

Generic NameFlavour

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep NameFlavour :: Type -> Type

Methods

from :: NameFlavour -> Rep NameFlavour x

to :: Rep NameFlavour x -> NameFlavour

Generic NameSpace

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep NameSpace :: Type -> Type

Methods

from :: NameSpace -> Rep NameSpace x

to :: Rep NameSpace x -> NameSpace

Generic OccName

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep OccName :: Type -> Type

Methods

from :: OccName -> Rep OccName x

to :: Rep OccName x -> OccName

Generic Overlap

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Overlap :: Type -> Type

Methods

from :: Overlap -> Rep Overlap x

to :: Rep Overlap x -> Overlap

Generic Pat

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Pat :: Type -> Type

Methods

from :: Pat -> Rep Pat x

to :: Rep Pat x -> Pat

Generic PatSynArgs

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PatSynArgs :: Type -> Type

Methods

from :: PatSynArgs -> Rep PatSynArgs x

to :: Rep PatSynArgs x -> PatSynArgs

Generic PatSynDir

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PatSynDir :: Type -> Type

Methods

from :: PatSynDir -> Rep PatSynDir x

to :: Rep PatSynDir x -> PatSynDir

Generic Phases

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Phases :: Type -> Type

Methods

from :: Phases -> Rep Phases x

to :: Rep Phases x -> Phases

Generic PkgName

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PkgName :: Type -> Type

Methods

from :: PkgName -> Rep PkgName x

to :: Rep PkgName x -> PkgName

Generic Pragma

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Pragma :: Type -> Type

Methods

from :: Pragma -> Rep Pragma x

to :: Rep Pragma x -> Pragma

Generic Range

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Range :: Type -> Type

Methods

from :: Range -> Rep Range x

to :: Rep Range x -> Range

Generic Role

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Role :: Type -> Type

Methods

from :: Role -> Rep Role x

to :: Rep Role x -> Role

Generic RuleBndr

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep RuleBndr :: Type -> Type

Methods

from :: RuleBndr -> Rep RuleBndr x

to :: Rep RuleBndr x -> RuleBndr

Generic RuleMatch

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep RuleMatch :: Type -> Type

Methods

from :: RuleMatch -> Rep RuleMatch x

to :: Rep RuleMatch x -> RuleMatch

Generic Safety

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Safety :: Type -> Type

Methods

from :: Safety -> Rep Safety x

to :: Rep Safety x -> Safety

Generic SourceStrictness

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep SourceStrictness :: Type -> Type

Methods

from :: SourceStrictness -> Rep SourceStrictness x

to :: Rep SourceStrictness x -> SourceStrictness

Generic SourceUnpackedness

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep SourceUnpackedness :: Type -> Type

Methods

from :: SourceUnpackedness -> Rep SourceUnpackedness x

to :: Rep SourceUnpackedness x -> SourceUnpackedness

Generic Specificity

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Specificity :: Type -> Type

Methods

from :: Specificity -> Rep Specificity x

to :: Rep Specificity x -> Specificity

Generic Stmt

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Stmt :: Type -> Type

Methods

from :: Stmt -> Rep Stmt x

to :: Rep Stmt x -> Stmt

Generic TyLit

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TyLit :: Type -> Type

Methods

from :: TyLit -> Rep TyLit x

to :: Rep TyLit x -> TyLit

Generic TySynEqn

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TySynEqn :: Type -> Type

Methods

from :: TySynEqn -> Rep TySynEqn x

to :: Rep TySynEqn x -> TySynEqn

Generic Type

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Type :: Type -> Type

Methods

from :: Type -> Rep Type x

to :: Rep Type x -> Type

Generic TypeFamilyHead

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TypeFamilyHead :: Type -> Type

Methods

from :: TypeFamilyHead -> Rep TypeFamilyHead x

to :: Rep TypeFamilyHead x -> TypeFamilyHead

Generic ConstructorInfo

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep ConstructorInfo :: Type -> Type

Methods

from :: ConstructorInfo -> Rep ConstructorInfo x

to :: Rep ConstructorInfo x -> ConstructorInfo

Generic ConstructorVariant

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep ConstructorVariant :: Type -> Type

Methods

from :: ConstructorVariant -> Rep ConstructorVariant x

to :: Rep ConstructorVariant x -> ConstructorVariant

Generic DatatypeInfo

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep DatatypeInfo :: Type -> Type

Methods

from :: DatatypeInfo -> Rep DatatypeInfo x

to :: Rep DatatypeInfo x -> DatatypeInfo

Generic DatatypeVariant

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep DatatypeVariant :: Type -> Type

Methods

from :: DatatypeVariant -> Rep DatatypeVariant x

to :: Rep DatatypeVariant x -> DatatypeVariant

Generic FieldStrictness

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep FieldStrictness :: Type -> Type

Methods

from :: FieldStrictness -> Rep FieldStrictness x

to :: Rep FieldStrictness x -> FieldStrictness

Generic Strictness

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep Strictness :: Type -> Type

Methods

from :: Strictness -> Rep Strictness x

to :: Rep Strictness x -> Strictness

Generic Unpackedness

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep Unpackedness :: Type -> Type

Methods

from :: Unpackedness -> Rep Unpackedness x

to :: Rep Unpackedness x -> Unpackedness

Generic Tag

Defined in Codec.Winery.Base

Associated Types

type Rep Tag :: Type -> Type

Methods

from :: Tag -> Rep Tag x

to :: Rep Tag x -> Tag

Generic ()

Defined in GHC.Generics

Associated Types

type Rep () :: Type -> Type

Methods

from :: () -> Rep () x

to :: Rep () x -> ()

Generic Bool

Defined in GHC.Generics

Associated Types

type Rep Bool :: Type -> Type

Methods

from :: Bool -> Rep Bool x

to :: Rep Bool x -> Bool

Generic (Only a)

Defined in Data.Tuple.Only

Associated Types

type Rep (Only a) :: Type -> Type

Methods

from :: Only a -> Rep (Only a) x

to :: Rep (Only a) x -> Only a

Generic (ZipList a)

Defined in Control.Applicative

Associated Types

type Rep (ZipList a) :: Type -> Type

Methods

from :: ZipList a -> Rep (ZipList a) x

to :: Rep (ZipList a) x -> ZipList a

Generic (Complex a)

Defined in Data.Complex

Associated Types

type Rep (Complex a) :: Type -> Type

Methods

from :: Complex a -> Rep (Complex a) x

to :: Rep (Complex a) x -> Complex a

Generic (Identity a)

Defined in Data.Functor.Identity

Associated Types

type Rep (Identity a) :: Type -> Type

Methods

from :: Identity a -> Rep (Identity a) x

to :: Rep (Identity a) x -> Identity a

Generic (First a)

Defined in Data.Monoid

Associated Types

type Rep (First a) :: Type -> Type

Methods

from :: First a -> Rep (First a) x

to :: Rep (First a) x -> First a

Generic (Last a)

Defined in Data.Monoid

Associated Types

type Rep (Last a) :: Type -> Type

Methods

from :: Last a -> Rep (Last a) x

to :: Rep (Last a) x -> Last a

Generic (Down a)

Defined in GHC.Generics

Associated Types

type Rep (Down a) :: Type -> Type

Methods

from :: Down a -> Rep (Down a) x

to :: Rep (Down a) x -> Down a

Generic (First a)

Defined in Data.Semigroup

Associated Types

type Rep (First a) :: Type -> Type

Methods

from :: First a -> Rep (First a) x

to :: Rep (First a) x -> First a

Generic (Last a)

Defined in Data.Semigroup

Associated Types

type Rep (Last a) :: Type -> Type

Methods

from :: Last a -> Rep (Last a) x

to :: Rep (Last a) x -> Last a

Generic (Max a)

Defined in Data.Semigroup

Associated Types

type Rep (Max a) :: Type -> Type

Methods

from :: Max a -> Rep (Max a) x

to :: Rep (Max a) x -> Max a

Generic (Min a)

Defined in Data.Semigroup

Associated Types

type Rep (Min a) :: Type -> Type

Methods

from :: Min a -> Rep (Min a) x

to :: Rep (Min a) x -> Min a

Generic (WrappedMonoid m)

Defined in Data.Semigroup

Associated Types

type Rep (WrappedMonoid m) :: Type -> Type

Methods

from :: WrappedMonoid m -> Rep (WrappedMonoid m) x

to :: Rep (WrappedMonoid m) x -> WrappedMonoid m

Generic (Dual a)

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Dual a) :: Type -> Type

Methods

from :: Dual a -> Rep (Dual a) x

to :: Rep (Dual a) x -> Dual a

Generic (Endo a)

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Endo a) :: Type -> Type

Methods

from :: Endo a -> Rep (Endo a) x

to :: Rep (Endo a) x -> Endo a

Generic (Product a)

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Product a) :: Type -> Type

Methods

from :: Product a -> Rep (Product a) x

to :: Rep (Product a) x -> Product a

Generic (Sum a)

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Sum a) :: Type -> Type

Methods

from :: Sum a -> Rep (Sum a) x

to :: Rep (Sum a) x -> Sum a

Generic (Par1 p)

Defined in GHC.Generics

Associated Types

type Rep (Par1 p) :: Type -> Type

Methods

from :: Par1 p -> Rep (Par1 p) x

to :: Rep (Par1 p) x -> Par1 p

Generic (SCC vertex)

Defined in Data.Graph

Associated Types

type Rep (SCC vertex) :: Type -> Type

Methods

from :: SCC vertex -> Rep (SCC vertex) x

to :: Rep (SCC vertex) x -> SCC vertex

Generic (Digit a)

Defined in Data.Sequence.Internal

Associated Types

type Rep (Digit a) :: Type -> Type

Methods

from :: Digit a -> Rep (Digit a) x

to :: Rep (Digit a) x -> Digit a

Generic (Elem a)

Defined in Data.Sequence.Internal

Associated Types

type Rep (Elem a) :: Type -> Type

Methods

from :: Elem a -> Rep (Elem a) x

to :: Rep (Elem a) x -> Elem a

Generic (FingerTree a)

Defined in Data.Sequence.Internal

Associated Types

type Rep (FingerTree a) :: Type -> Type

Methods

from :: FingerTree a -> Rep (FingerTree a) x

to :: Rep (FingerTree a) x -> FingerTree a

Generic (Node a)

Defined in Data.Sequence.Internal

Associated Types

type Rep (Node a) :: Type -> Type

Methods

from :: Node a -> Rep (Node a) x

to :: Rep (Node a) x -> Node a

Generic (ViewL a)

Defined in Data.Sequence.Internal

Associated Types

type Rep (ViewL a) :: Type -> Type

Methods

from :: ViewL a -> Rep (ViewL a) x

to :: Rep (ViewL a) x -> ViewL a

Generic (ViewR a)

Defined in Data.Sequence.Internal

Associated Types

type Rep (ViewR a) :: Type -> Type

Methods

from :: ViewR a -> Rep (ViewR a) x

to :: Rep (ViewR a) x -> ViewR a

Generic (Tree a)

Defined in Data.Tree

Associated Types

type Rep (Tree a) :: Type -> Type

Methods

from :: Tree a -> Rep (Tree a) x

to :: Rep (Tree a) x -> Tree a

Generic (Fix f)

Defined in Data.Fix

Associated Types

type Rep (Fix f) :: Type -> Type

Methods

from :: Fix f -> Rep (Fix f) x

to :: Rep (Fix f) x -> Fix f

Generic (SizedSeq a)

Defined in GHC.Data.SizedSeq

Associated Types

type Rep (SizedSeq a) :: Type -> Type

Methods

from :: SizedSeq a -> Rep (SizedSeq a) x

to :: Rep (SizedSeq a) x -> SizedSeq a

Generic (GenClosure b)

Defined in GHC.Exts.Heap.Closures

Associated Types

type Rep (GenClosure b) :: Type -> Type

Methods

from :: GenClosure b -> Rep (GenClosure b) x

to :: Rep (GenClosure b) x -> GenClosure b

Generic (EvalExpr a)

Defined in GHCi.Message

Associated Types

type Rep (EvalExpr a) :: Type -> Type

Methods

from :: EvalExpr a -> Rep (EvalExpr a) x

to :: Rep (EvalExpr a) x -> EvalExpr a

Generic (EvalResult a)

Defined in GHCi.Message

Associated Types

type Rep (EvalResult a) :: Type -> Type

Methods

from :: EvalResult a -> Rep (EvalResult a) x

to :: Rep (EvalResult a) x -> EvalResult a

Generic (QResult a)

Defined in GHCi.Message

Associated Types

type Rep (QResult a) :: Type -> Type

Methods

from :: QResult a -> Rep (QResult a) x

to :: Rep (QResult a) x -> QResult a

Generic (THResult a)

Defined in GHCi.Message

Associated Types

type Rep (THResult a) :: Type -> Type

Methods

from :: THResult a -> Rep (THResult a) x

to :: Rep (THResult a) x -> THResult a

Generic (Doc a)

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep (Doc a) :: Type -> Type

Methods

from :: Doc a -> Rep (Doc a) x

to :: Rep (Doc a) x -> Doc a

Generic (Doc ann)

Defined in Prettyprinter.Internal

Associated Types

type Rep (Doc ann) :: Type -> Type

Methods

from :: Doc ann -> Rep (Doc ann) x

to :: Rep (Doc ann) x -> Doc ann

Generic (SimpleDocStream ann)

Defined in Prettyprinter.Internal

Associated Types

type Rep (SimpleDocStream ann) :: Type -> Type

Methods

from :: SimpleDocStream ann -> Rep (SimpleDocStream ann) x

to :: Rep (SimpleDocStream ann) x -> SimpleDocStream ann

Generic (AtomExprBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (AtomExprBase a) :: Type -> Type

Methods

from :: AtomExprBase a -> Rep (AtomExprBase a) x

to :: Rep (AtomExprBase a) x -> AtomExprBase a

Generic (AttributeExprBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (AttributeExprBase a) :: Type -> Type

Methods

from :: AttributeExprBase a -> Rep (AttributeExprBase a) x

to :: Rep (AttributeExprBase a) x -> AttributeExprBase a

Generic (AttributeNamesBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (AttributeNamesBase a) :: Type -> Type

Methods

from :: AttributeNamesBase a -> Rep (AttributeNamesBase a) x

to :: Rep (AttributeNamesBase a) x -> AttributeNamesBase a

Generic (DatabaseContextExprBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (DatabaseContextExprBase a) :: Type -> Type

Methods

from :: DatabaseContextExprBase a -> Rep (DatabaseContextExprBase a) x

to :: Rep (DatabaseContextExprBase a) x -> DatabaseContextExprBase a

Generic (DatabaseContextIOExprBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (DatabaseContextIOExprBase a) :: Type -> Type

Methods

from :: DatabaseContextIOExprBase a -> Rep (DatabaseContextIOExprBase a) x

to :: Rep (DatabaseContextIOExprBase a) x -> DatabaseContextIOExprBase a

Generic (ExtendTupleExprBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (ExtendTupleExprBase a) :: Type -> Type

Methods

from :: ExtendTupleExprBase a -> Rep (ExtendTupleExprBase a) x

to :: Rep (ExtendTupleExprBase a) x -> ExtendTupleExprBase a

Generic (Function a)

Defined in ProjectM36.Base

Associated Types

type Rep (Function a) :: Type -> Type

Methods

from :: Function a -> Rep (Function a) x

to :: Rep (Function a) x -> Function a

Generic (FunctionBody a)

Defined in ProjectM36.Base

Associated Types

type Rep (FunctionBody a) :: Type -> Type

Methods

from :: FunctionBody a -> Rep (FunctionBody a) x

to :: Rep (FunctionBody a) x -> FunctionBody a

Generic (RelationalExprBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (RelationalExprBase a) :: Type -> Type

Methods

from :: RelationalExprBase a -> Rep (RelationalExprBase a) x

to :: Rep (RelationalExprBase a) x -> RelationalExprBase a

Generic (RestrictionPredicateExprBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (RestrictionPredicateExprBase a) :: Type -> Type

Methods

from :: RestrictionPredicateExprBase a -> Rep (RestrictionPredicateExprBase a) x

to :: Rep (RestrictionPredicateExprBase a) x -> RestrictionPredicateExprBase a

Generic (TupleExprBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (TupleExprBase a) :: Type -> Type

Methods

from :: TupleExprBase a -> Rep (TupleExprBase a) x

to :: Rep (TupleExprBase a) x -> TupleExprBase a

Generic (TupleExprsBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (TupleExprsBase a) :: Type -> Type

Methods

from :: TupleExprsBase a -> Rep (TupleExprsBase a) x

to :: Rep (TupleExprsBase a) x -> TupleExprsBase a

Generic (TypeConstructorBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (TypeConstructorBase a) :: Type -> Type

Methods

from :: TypeConstructorBase a -> Rep (TypeConstructorBase a) x

to :: Rep (TypeConstructorBase a) x -> TypeConstructorBase a

Generic (WithNameExprBase a)

Defined in ProjectM36.Base

Associated Types

type Rep (WithNameExprBase a) :: Type -> Type

Methods

from :: WithNameExprBase a -> Rep (WithNameExprBase a) x

to :: Rep (WithNameExprBase a) x -> WithNameExprBase a

Generic (Maybe a)

Defined in Data.Strict.Maybe

Associated Types

type Rep (Maybe a) :: Type -> Type

Methods

from :: Maybe a -> Rep (Maybe a) x

to :: Rep (Maybe a) x -> Maybe a

Generic (TyVarBndr flag)

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep (TyVarBndr flag) :: Type -> Type

Methods

from :: TyVarBndr flag -> Rep (TyVarBndr flag) x

to :: Rep (TyVarBndr flag) x -> TyVarBndr flag

Generic (SingleField a)

Defined in Codec.Winery

Associated Types

type Rep (SingleField a) :: Type -> Type

Methods

from :: SingleField a -> Rep (SingleField a) x

to :: Rep (SingleField a) x -> SingleField a

Generic (SchemaP a)

Defined in Codec.Winery.Base

Associated Types

type Rep (SchemaP a) :: Type -> Type

Methods

from :: SchemaP a -> Rep (SchemaP a) x

to :: Rep (SchemaP a) x -> SchemaP a

Generic (NonEmpty a)

Defined in GHC.Generics

Associated Types

type Rep (NonEmpty a) :: Type -> Type

Methods

from :: NonEmpty a -> Rep (NonEmpty a) x

to :: Rep (NonEmpty a) x -> NonEmpty a

Generic (Maybe a)

Defined in GHC.Generics

Associated Types

type Rep (Maybe a) :: Type -> Type

Methods

from :: Maybe a -> Rep (Maybe a) x

to :: Rep (Maybe a) x -> Maybe a

Generic (a)

Defined in GHC.Generics

Associated Types

type Rep (a) :: Type -> Type

Methods

from :: (a) -> Rep (a) x

to :: Rep (a) x -> (a)

Generic [a]

Defined in GHC.Generics

Associated Types

type Rep [a] :: Type -> Type

Methods

from :: [a] -> Rep [a] x

to :: Rep [a] x -> [a]

Generic (Container b a)

Defined in Barbies.Internal.Containers

Associated Types

type Rep (Container b a) :: Type -> Type

Methods

from :: Container b a -> Rep (Container b a) x

to :: Rep (Container b a) x -> Container b a

Generic (ErrorContainer b e)

Defined in Barbies.Internal.Containers

Associated Types

type Rep (ErrorContainer b e) :: Type -> Type

Methods

from :: ErrorContainer b e -> Rep (ErrorContainer b e) x

to :: Rep (ErrorContainer b e) x -> ErrorContainer b e

Generic (Unit f)

Defined in Barbies.Internal.Trivial

Associated Types

type Rep (Unit f) :: Type -> Type

Methods

from :: Unit f -> Rep (Unit f) x

to :: Rep (Unit f) x -> Unit f

Generic (Void f)

Defined in Barbies.Internal.Trivial

Associated Types

type Rep (Void f) :: Type -> Type

Methods

from :: Void f -> Rep (Void f) x

to :: Rep (Void f) x -> Void f

Generic (WrappedMonad m a)

Defined in Control.Applicative

Associated Types

type Rep (WrappedMonad m a) :: Type -> Type

Methods

from :: WrappedMonad m a -> Rep (WrappedMonad m a) x

to :: Rep (WrappedMonad m a) x -> WrappedMonad m a

Generic (Either a b)

Defined in GHC.Generics

Associated Types

type Rep (Either a b) :: Type -> Type

Methods

from :: Either a b -> Rep (Either a b) x

to :: Rep (Either a b) x -> Either a b

Generic (Proxy t)

Defined in GHC.Generics

Associated Types

type Rep (Proxy t) :: Type -> Type

Methods

from :: Proxy t -> Rep (Proxy t) x

to :: Rep (Proxy t) x -> Proxy t

Generic (Arg a b)

Defined in Data.Semigroup

Associated Types

type Rep (Arg a b) :: Type -> Type

Methods

from :: Arg a b -> Rep (Arg a b) x

to :: Rep (Arg a b) x -> Arg a b

Generic (U1 p)

Defined in GHC.Generics

Associated Types

type Rep (U1 p) :: Type -> Type

Methods

from :: U1 p -> Rep (U1 p) x

to :: Rep (U1 p) x -> U1 p

Generic (V1 p)

Defined in GHC.Generics

Associated Types

type Rep (V1 p) :: Type -> Type

Methods

from :: V1 p -> Rep (V1 p) x

to :: Rep (V1 p) x -> V1 p

Generic (Cofree f a)

Defined in Control.Comonad.Cofree

Associated Types

type Rep (Cofree f a) :: Type -> Type

Methods

from :: Cofree f a -> Rep (Cofree f a) x

to :: Rep (Cofree f a) x -> Cofree f a

Generic (Free f a)

Defined in Control.Monad.Free

Associated Types

type Rep (Free f a) :: Type -> Type

Methods

from :: Free f a -> Rep (Free f a) x

to :: Rep (Free f a) x -> Free f a

Generic (EvalStatus_ a b)

Defined in GHCi.Message

Associated Types

type Rep (EvalStatus_ a b) :: Type -> Type

Methods

from :: EvalStatus_ a b -> Rep (EvalStatus_ a b) x

to :: Rep (EvalStatus_ a b) x -> EvalStatus_ a b

Generic (ListT m a)

Defined in ListT

Associated Types

type Rep (ListT m a) :: Type -> Type

Methods

from :: ListT m a -> Rep (ListT m a) x

to :: Rep (ListT m a) x -> ListT m a

Generic (ListF a b)

Defined in Data.Functor.Base

Associated Types

type Rep (ListF a b) :: Type -> Type

Methods

from :: ListF a b -> Rep (ListF a b) x

to :: Rep (ListF a b) x -> ListF a b

Generic (NonEmptyF a b)

Defined in Data.Functor.Base

Associated Types

type Rep (NonEmptyF a b) :: Type -> Type

Methods

from :: NonEmptyF a b -> Rep (NonEmptyF a b) x

to :: Rep (NonEmptyF a b) x -> NonEmptyF a b

Generic (TreeF a b)

Defined in Data.Functor.Base

Associated Types

type Rep (TreeF a b) :: Type -> Type

Methods

from :: TreeF a b -> Rep (TreeF a b) x

to :: Rep (TreeF a b) x -> TreeF a b

Generic (Either a b)

Defined in Data.Strict.Either

Associated Types

type Rep (Either a b) :: Type -> Type

Methods

from :: Either a b -> Rep (Either a b) x

to :: Rep (Either a b) x -> Either a b

Generic (These a b)

Defined in Data.Strict.These

Associated Types

type Rep (These a b) :: Type -> Type

Methods

from :: These a b -> Rep (These a b) x

to :: Rep (These a b) x -> These a b

Generic (Pair a b)

Defined in Data.Strict.Tuple

Associated Types

type Rep (Pair a b) :: Type -> Type

Methods

from :: Pair a b -> Rep (Pair a b) x

to :: Rep (Pair a b) x -> Pair a b

Generic (These a b)

Defined in Data.These

Associated Types

type Rep (These a b) :: Type -> Type

Methods

from :: These a b -> Rep (These a b) x

to :: Rep (These a b) x -> These a b

Generic (a, b)

Defined in GHC.Generics

Associated Types

type Rep (a, b) :: Type -> Type

Methods

from :: (a, b) -> Rep (a, b) x

to :: Rep (a, b) x -> (a, b)

Generic (WrappedArrow a b c)

Defined in Control.Applicative

Associated Types

type Rep (WrappedArrow a b c) :: Type -> Type

Methods

from :: WrappedArrow a b c -> Rep (WrappedArrow a b c) x

to :: Rep (WrappedArrow a b c) x -> WrappedArrow a b c

Generic (Kleisli m a b)

Defined in Control.Arrow

Associated Types

type Rep (Kleisli m a b) :: Type -> Type

Methods

from :: Kleisli m a b -> Rep (Kleisli m a b) x

to :: Rep (Kleisli m a b) x -> Kleisli m a b

Generic (Const a b)

Defined in Data.Functor.Const

Associated Types

type Rep (Const a b) :: Type -> Type

Methods

from :: Const a b -> Rep (Const a b) x

to :: Rep (Const a b) x -> Const a b

Generic (Ap f a)

Defined in Data.Monoid

Associated Types

type Rep (Ap f a) :: Type -> Type

Methods

from :: Ap f a -> Rep (Ap f a) x

to :: Rep (Ap f a) x -> Ap f a

Generic (Alt f a)

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Alt f a) :: Type -> Type

Methods

from :: Alt f a -> Rep (Alt f a) x

to :: Rep (Alt f a) x -> Alt f a

Generic (Rec1 f p)

Defined in GHC.Generics

Associated Types

type Rep (Rec1 f p) :: Type -> Type

Methods

from :: Rec1 f p -> Rep (Rec1 f p) x

to :: Rep (Rec1 f p) x -> Rec1 f p

Generic (URec (Ptr ()) p)

Defined in GHC.Generics

Associated Types

type Rep (URec (Ptr ()) p) :: Type -> Type

Methods

from :: URec (Ptr ()) p -> Rep (URec (Ptr ()) p) x

to :: Rep (URec (Ptr ()) p) x -> URec (Ptr ()) p

Generic (URec Char p)

Defined in GHC.Generics

Associated Types

type Rep (URec Char p) :: Type -> Type

Methods

from :: URec Char p -> Rep (URec Char p) x

to :: Rep (URec Char p) x -> URec Char p

Generic (URec Double p)

Defined in GHC.Generics

Associated Types

type Rep (URec Double p) :: Type -> Type

Methods

from :: URec Double p -> Rep (URec Double p) x

to :: Rep (URec Double p) x -> URec Double p

Generic (URec Float p)

Defined in GHC.Generics

Associated Types

type Rep (URec Float p) :: Type -> Type

Methods

from :: URec Float p -> Rep (URec Float p) x

to :: Rep (URec Float p) x -> URec Float p

Generic (URec Int p)

Defined in GHC.Generics

Associated Types

type Rep (URec Int p) :: Type -> Type

Methods

from :: URec Int p -> Rep (URec Int p) x

to :: Rep (URec Int p) x -> URec Int p

Generic (URec Word p)

Defined in GHC.Generics

Associated Types

type Rep (URec Word p) :: Type -> Type

Methods

from :: URec Word p -> Rep (URec Word p) x

to :: Rep (URec Word p) x -> URec Word p

Generic (Join p a)

Defined in Data.Bifunctor.Join

Associated Types

type Rep (Join p a) :: Type -> Type

Methods

from :: Join p a -> Rep (Join p a) x

to :: Rep (Join p a) x -> Join p a

Generic (CofreeF f a b)

Defined in Control.Comonad.Trans.Cofree

Associated Types

type Rep (CofreeF f a b) :: Type -> Type

Methods

from :: CofreeF f a b -> Rep (CofreeF f a b) x

to :: Rep (CofreeF f a b) x -> CofreeF f a b

Generic (FreeF f a b)

Defined in Control.Monad.Trans.Free

Associated Types

type Rep (FreeF f a b) :: Type -> Type

Methods

from :: FreeF f a b -> Rep (FreeF f a b) x

to :: Rep (FreeF f a b) x -> FreeF f a b

Generic (Tagged s b)

Defined in Data.Tagged

Associated Types

type Rep (Tagged s b) :: Type -> Type

Methods

from :: Tagged s b -> Rep (Tagged s b) x

to :: Rep (Tagged s b) x -> Tagged s b

Generic (These1 f g a)

Defined in Data.Functor.These

Associated Types

type Rep (These1 f g a) :: Type -> Type

Methods

from :: These1 f g a -> Rep (These1 f g a) x

to :: Rep (These1 f g a) x -> These1 f g a

Generic (a, b, c)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c) :: Type -> Type

Methods

from :: (a, b, c) -> Rep (a, b, c) x

to :: Rep (a, b, c) x -> (a, b, c)

Generic (Product f g a)

Defined in Data.Functor.Product

Associated Types

type Rep (Product f g a) :: Type -> Type

Methods

from :: Product f g a -> Rep (Product f g a) x

to :: Rep (Product f g a) x -> Product f g a

Generic (Sum f g a)

Defined in Data.Functor.Sum

Associated Types

type Rep (Sum f g a) :: Type -> Type

Methods

from :: Sum f g a -> Rep (Sum f g a) x

to :: Rep (Sum f g a) x -> Sum f g a

Generic ((f :*: g) p)

Defined in GHC.Generics

Associated Types

type Rep ((f :*: g) p) :: Type -> Type

Methods

from :: (f :*: g) p -> Rep ((f :*: g) p) x

to :: Rep ((f :*: g) p) x -> (f :*: g) p

Generic ((f :+: g) p)

Defined in GHC.Generics

Associated Types

type Rep ((f :+: g) p) :: Type -> Type

Methods

from :: (f :+: g) p -> Rep ((f :+: g) p) x

to :: Rep ((f :+: g) p) x -> (f :+: g) p

Generic (K1 i c p)

Defined in GHC.Generics

Associated Types

type Rep (K1 i c p) :: Type -> Type

Methods

from :: K1 i c p -> Rep (K1 i c p) x

to :: Rep (K1 i c p) x -> K1 i c p

Generic (a, b, c, d)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d) :: Type -> Type

Methods

from :: (a, b, c, d) -> Rep (a, b, c, d) x

to :: Rep (a, b, c, d) x -> (a, b, c, d)

Generic (Compose f g a)

Defined in Data.Functor.Compose

Associated Types

type Rep (Compose f g a) :: Type -> Type

Methods

from :: Compose f g a -> Rep (Compose f g a) x

to :: Rep (Compose f g a) x -> Compose f g a

Generic ((f :.: g) p)

Defined in GHC.Generics

Associated Types

type Rep ((f :.: g) p) :: Type -> Type

Methods

from :: (f :.: g) p -> Rep ((f :.: g) p) x

to :: Rep ((f :.: g) p) x -> (f :.: g) p

Generic (M1 i c f p)

Defined in GHC.Generics

Associated Types

type Rep (M1 i c f p) :: Type -> Type

Methods

from :: M1 i c f p -> Rep (M1 i c f p) x

to :: Rep (M1 i c f p) x -> M1 i c f p

Generic (Clown f a b)

Defined in Data.Bifunctor.Clown

Associated Types

type Rep (Clown f a b) :: Type -> Type

Methods

from :: Clown f a b -> Rep (Clown f a b) x

to :: Rep (Clown f a b) x -> Clown f a b

Generic (Flip p a b)

Defined in Data.Bifunctor.Flip

Associated Types

type Rep (Flip p a b) :: Type -> Type

Methods

from :: Flip p a b -> Rep (Flip p a b) x

to :: Rep (Flip p a b) x -> Flip p a b

Generic (Joker g a b)

Defined in Data.Bifunctor.Joker

Associated Types

type Rep (Joker g a b) :: Type -> Type

Methods

from :: Joker g a b -> Rep (Joker g a b) x

to :: Rep (Joker g a b) x -> Joker g a b

Generic (WrappedBifunctor p a b)

Defined in Data.Bifunctor.Wrapped

Associated Types

type Rep (WrappedBifunctor p a b) :: Type -> Type

Methods

from :: WrappedBifunctor p a b -> Rep (WrappedBifunctor p a b) x

to :: Rep (WrappedBifunctor p a b) x -> WrappedBifunctor p a b

Generic (a, b, c, d, e)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d, e) :: Type -> Type

Methods

from :: (a, b, c, d, e) -> Rep (a, b, c, d, e) x

to :: Rep (a, b, c, d, e) x -> (a, b, c, d, e)

Generic (Product f g a b)

Defined in Data.Bifunctor.Product

Associated Types

type Rep (Product f g a b) :: Type -> Type

Methods

from :: Product f g a b -> Rep (Product f g a b) x

to :: Rep (Product f g a b) x -> Product f g a b

Generic (Sum p q a b)

Defined in Data.Bifunctor.Sum

Associated Types

type Rep (Sum p q a b) :: Type -> Type

Methods

from :: Sum p q a b -> Rep (Sum p q a b) x

to :: Rep (Sum p q a b) x -> Sum p q a b

Generic (a, b, c, d, e, f)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d, e, f) :: Type -> Type

Methods

from :: (a, b, c, d, e, f) -> Rep (a, b, c, d, e, f) x

to :: Rep (a, b, c, d, e, f) x -> (a, b, c, d, e, f)

Generic (Tannen f p a b)

Defined in Data.Bifunctor.Tannen

Associated Types

type Rep (Tannen f p a b) :: Type -> Type

Methods

from :: Tannen f p a b -> Rep (Tannen f p a b) x

to :: Rep (Tannen f p a b) x -> Tannen f p a b

Generic (a, b, c, d, e, f, g)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d, e, f, g) :: Type -> Type

Methods

from :: (a, b, c, d, e, f, g) -> Rep (a, b, c, d, e, f, g) x

to :: Rep (a, b, c, d, e, f, g) x -> (a, b, c, d, e, f, g)

Generic (a, b, c, d, e, f, g, h)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d, e, f, g, h) :: Type -> Type

Methods

from :: (a, b, c, d, e, f, g, h) -> Rep (a, b, c, d, e, f, g, h) x

to :: Rep (a, b, c, d, e, f, g, h) x -> (a, b, c, d, e, f, g, h)

Generic (Biff p f g a b)

Defined in Data.Bifunctor.Biff

Associated Types

type Rep (Biff p f g a b) :: Type -> Type

Methods

from :: Biff p f g a b -> Rep (Biff p f g a b) x

to :: Rep (Biff p f g a b) x -> Biff p f g a b

Generic (a, b, c, d, e, f, g, h, i)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d, e, f, g, h, i) :: Type -> Type

Methods

from :: (a, b, c, d, e, f, g, h, i) -> Rep (a, b, c, d, e, f, g, h, i) x

to :: Rep (a, b, c, d, e, f, g, h, i) x -> (a, b, c, d, e, f, g, h, i)

Generic (a, b, c, d, e, f, g, h, i, j)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j) :: Type -> Type

Methods

from :: (a, b, c, d, e, f, g, h, i, j) -> Rep (a, b, c, d, e, f, g, h, i, j) x

to :: Rep (a, b, c, d, e, f, g, h, i, j) x -> (a, b, c, d, e, f, g, h, i, j)

Generic (a, b, c, d, e, f, g, h, i, j, k)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j, k) :: Type -> Type

Methods

from :: (a, b, c, d, e, f, g, h, i, j, k) -> Rep (a, b, c, d, e, f, g, h, i, j, k) x

to :: Rep (a, b, c, d, e, f, g, h, i, j, k) x -> (a, b, c, d, e, f, g, h, i, j, k)

Generic (a, b, c, d, e, f, g, h, i, j, k, l)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j, k, l) :: Type -> Type

Methods

from :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l) x

to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l) x -> (a, b, c, d, e, f, g, h, i, j, k, l)

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) :: Type -> Type

Methods

from :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) x

to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m)

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: Type -> Type

Methods

from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x

to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: Type -> Type

Methods

from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x

to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

module ProjectM36.Tupleable