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 ()

Defined in ProjectM36.Tupleable.Deriving

Methods

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

ModifyText TrainCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy TrainCase -> Text -> Text

ModifyText SpinalCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy SpinalCase -> Text -> Text

ModifyText SnakeCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy SnakeCase -> Text -> Text

ModifyText PascalCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy PascalCase -> Text -> Text

ModifyText CamelCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy CamelCase -> Text -> Text

ModifyText TitleCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy TitleCase -> Text -> Text

ModifyText LowerCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy LowerCase -> Text -> Text

ModifyText UpperCase

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy UpperCase -> Text -> Text

KnownSymbol suffix => ModifyText (DropSuffix suffix)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (DropSuffix suffix) -> 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 prefix => ModifyText (AddPrefix prefix)

Defined in ProjectM36.Tupleable.Deriving

Methods

modifyText :: proxy (AddPrefix prefix) -> 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

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

Defined in ProjectM36.Tupleable.Deriving

Methods

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

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

Defined in ProjectM36.Tupleable.Deriving

Methods

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

data a >>> b

Left to right composition.

Requires the TypeOperators extension to be enabled.

Instances

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

Defined in ProjectM36.Tupleable.Deriving

Methods

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

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

Defined in ProjectM36.Tupleable.Deriving

Methods

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

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 Bool

Defined in GHC.Generics

Associated Types

type Rep Bool :: Type -> Type

Methods

from :: Bool -> Rep Bool x

to :: Rep Bool x -> Bool

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 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 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 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 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 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 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 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 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 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 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 ()

Defined in GHC.Generics

Associated Types

type Rep () :: Type -> Type

Methods

from :: () -> Rep () x

to :: Rep () x -> ()

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 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 Void

Defined in Data.Void

Associated Types

type Rep Void :: Type -> Type

Methods

from :: Void -> Rep Void x

to :: Rep Void x -> Void

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 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 Fixity

Defined in GHC.Generics

Associated Types

type Rep Fixity :: Type -> Type

Methods

from :: Fixity -> Rep Fixity x

to :: Rep Fixity x -> Fixity

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 SourceUnpackedness

Defined in GHC.Generics

Associated Types

type Rep SourceUnpackedness :: Type -> Type

Methods

from :: SourceUnpackedness -> Rep SourceUnpackedness x

to :: Rep SourceUnpackedness x -> SourceUnpackedness

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 DecidedStrictness

Defined in GHC.Generics

Associated Types

type Rep DecidedStrictness :: Type -> Type

Methods

from :: DecidedStrictness -> Rep DecidedStrictness x

to :: Rep DecidedStrictness x -> DecidedStrictness

Generic ProcessId

Defined in Control.Distributed.Process.Internal.Types

Associated Types

type Rep ProcessId :: Type -> Type

Methods

from :: ProcessId -> Rep ProcessId x

to :: Rep ProcessId x -> ProcessId

Generic CancelWait

Defined in Control.Distributed.Process.Async.Internal.Types

Associated Types

type Rep CancelWait :: Type -> Type

Methods

from :: CancelWait -> Rep CancelWait x

to :: Rep CancelWait x -> CancelWait

Generic Shutdown

Defined in Control.Distributed.Process.Extras.Internal.Types

Associated Types

type Rep Shutdown :: Type -> Type

Methods

from :: Shutdown -> Rep Shutdown x

to :: Rep Shutdown x -> Shutdown

Generic ExitReason

Defined in Control.Distributed.Process.Extras.Internal.Types

Associated Types

type Rep ExitReason :: Type -> Type

Methods

from :: ExitReason -> Rep ExitReason x

to :: Rep ExitReason x -> ExitReason

Generic TimeInterval

Defined in Control.Distributed.Process.Extras.Time

Associated Types

type Rep TimeInterval :: Type -> Type

Methods

from :: TimeInterval -> Rep TimeInterval x

to :: Rep TimeInterval x -> TimeInterval

Generic Delay

Defined in Control.Distributed.Process.Extras.Time

Associated Types

type Rep Delay :: Type -> Type

Methods

from :: Delay -> Rep Delay x

to :: Rep Delay x -> Delay

Generic CallRejected

Defined in Control.Distributed.Process.ManagedProcess.Internal.Types

Associated Types

type Rep CallRejected :: Type -> Type

Methods

from :: CallRejected -> Rep CallRejected x

to :: Rep CallRejected x -> CallRejected

Generic TimedOut

Defined in Control.Distributed.Process.ManagedProcess.Timer

Associated Types

type Rep TimedOut :: Type -> Type

Methods

from :: TimedOut -> Rep TimedOut x

to :: Rep TimedOut x -> TimedOut

Generic TimerConfig

Defined in Control.Distributed.Process.Extras.Timer

Associated Types

type Rep TimerConfig :: Type -> Type

Methods

from :: TimerConfig -> Rep TimerConfig x

to :: Rep TimerConfig x -> TimerConfig

Generic LogLevel

Defined in Control.Distributed.Process.Extras.SystemLog

Associated Types

type Rep LogLevel :: Type -> Type

Methods

from :: LogLevel -> Rep LogLevel x

to :: Rep LogLevel x -> LogLevel

Generic Tick

Defined in Control.Distributed.Process.Extras.Timer

Associated Types

type Rep Tick :: Type -> Type

Methods

from :: Tick -> Rep Tick x

to :: Rep Tick x -> Tick

Generic TimeUnit

Defined in Control.Distributed.Process.Extras.Time

Associated Types

type Rep TimeUnit :: Type -> Type

Methods

from :: TimeUnit -> Rep TimeUnit x

to :: Rep TimeUnit x -> TimeUnit

Generic CancelWait

Defined in Control.Distributed.Process.Extras.Internal.Types

Associated Types

type Rep CancelWait :: Type -> Type

Methods

from :: CancelWait -> Rep CancelWait x

to :: Rep CancelWait x -> CancelWait

Generic RegisterSelf

Defined in Control.Distributed.Process.Extras.Internal.Types

Associated Types

type Rep RegisterSelf :: Type -> Type

Methods

from :: RegisterSelf -> Rep RegisterSelf x

to :: Rep RegisterSelf x -> RegisterSelf

Generic Recipient

Defined in Control.Distributed.Process.Extras.Internal.Types

Associated Types

type Rep Recipient :: Type -> Type

Methods

from :: Recipient -> Rep Recipient x

to :: Rep Recipient x -> Recipient

Generic ServerDisconnected

Defined in Control.Distributed.Process.Extras.Internal.Types

Associated Types

type Rep ServerDisconnected :: Type -> Type

Methods

from :: ServerDisconnected -> Rep ServerDisconnected x

to :: Rep ServerDisconnected x -> ServerDisconnected

Generic TyVarBndr

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TyVarBndr :: Type -> Type

Methods

from :: TyVarBndr -> Rep TyVarBndr x

to :: Rep TyVarBndr x -> TyVarBndr

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 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 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 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 FFIType

Defined in GHCi.FFI

Associated Types

type Rep FFIType :: Type -> Type

Methods

from :: FFIType -> Rep FFIType x

to :: Rep FFIType x -> FFIType

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 Event

Defined in Network.Transport

Associated Types

type Rep Event :: Type -> Type

Methods

from :: Event -> Rep Event x

to :: Rep Event x -> Event

Generic Reliability

Defined in Network.Transport

Associated Types

type Rep Reliability :: Type -> Type

Methods

from :: Reliability -> Rep Reliability x

to :: Rep Reliability x -> Reliability

Generic MulticastAddress

Defined in Network.Transport

Associated Types

type Rep MulticastAddress :: Type -> Type

Methods

from :: MulticastAddress -> Rep MulticastAddress x

to :: Rep MulticastAddress x -> MulticastAddress

Generic EventErrorCode

Defined in Network.Transport

Associated Types

type Rep EventErrorCode :: Type -> Type

Methods

from :: EventErrorCode -> Rep EventErrorCode x

to :: Rep EventErrorCode x -> EventErrorCode

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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 AtomFunctionError

Defined in ProjectM36.AtomFunctionError

Associated Types

type Rep AtomFunctionError :: Type -> Type

Methods

from :: AtomFunctionError -> Rep AtomFunctionError x

to :: Rep AtomFunctionError x -> AtomFunctionError

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 MerkleHash

Defined in ProjectM36.MerkleHash

Associated Types

type Rep MerkleHash :: Type -> Type

Methods

from :: MerkleHash -> Rep MerkleHash x

to :: Rep MerkleHash x -> MerkleHash

Generic DatabaseContextFunction

Defined in ProjectM36.Base

Associated Types

type Rep DatabaseContextFunction :: Type -> Type

Methods

from :: DatabaseContextFunction -> Rep DatabaseContextFunction x

to :: Rep DatabaseContextFunction x -> DatabaseContextFunction

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 AtomFunction

Defined in ProjectM36.Base

Associated Types

type Rep AtomFunction :: Type -> Type

Methods

from :: AtomFunction -> Rep AtomFunction x

to :: Rep AtomFunction x -> AtomFunction

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 InclusionDependency

Defined in ProjectM36.Base

Associated Types

type Rep InclusionDependency :: Type -> Type

Methods

from :: InclusionDependency -> Rep InclusionDependency x

to :: Rep InclusionDependency x -> InclusionDependency

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 SchemaIsomorph

Defined in ProjectM36.Base

Associated Types

type Rep SchemaIsomorph :: Type -> Type

Methods

from :: SchemaIsomorph -> Rep SchemaIsomorph x

to :: Rep SchemaIsomorph x -> SchemaIsomorph

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 GraphRefTransactionMarker

Defined in ProjectM36.Base

Associated Types

type Rep GraphRefTransactionMarker :: Type -> Type

Methods

from :: GraphRefTransactionMarker -> Rep GraphRefTransactionMarker x

to :: Rep GraphRefTransactionMarker x -> GraphRefTransactionMarker

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 DataConstructorDef

Defined in ProjectM36.Base

Associated Types

type Rep DataConstructorDef :: Type -> Type

Methods

from :: DataConstructorDef -> Rep DataConstructorDef x

to :: Rep DataConstructorDef x -> DataConstructorDef

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 Notification

Defined in ProjectM36.Base

Associated Types

type Rep Notification :: Type -> Type

Methods

from :: Notification -> Rep Notification x

to :: Rep Notification x -> Notification

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 Relation

Defined in ProjectM36.Base

Associated Types

type Rep Relation :: Type -> Type

Methods

from :: Relation -> Rep Relation x

to :: Rep Relation x -> Relation

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 Attribute

Defined in ProjectM36.Base

Associated Types

type Rep Attribute :: Type -> Type

Methods

from :: Attribute -> Rep Attribute x

to :: Rep Attribute x -> Attribute

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 Atom

Defined in ProjectM36.Base

Associated Types

type Rep Atom :: Type -> Type

Methods

from :: Atom -> Rep Atom x

to :: Rep Atom x -> Atom

Generic ServerError

Defined in ProjectM36.Error

Associated Types

type Rep ServerError :: Type -> Type

Methods

from :: ServerError -> Rep ServerError x

to :: Rep ServerError x -> ServerError

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 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 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 DataFrame

Defined in ProjectM36.DataFrame

Associated Types

type Rep DataFrame :: Type -> Type

Methods

from :: DataFrame -> Rep DataFrame x

to :: Rep DataFrame x -> DataFrame

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 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 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 SchemaExpr

Defined in ProjectM36.IsomorphicSchema

Associated Types

type Rep SchemaExpr :: Type -> Type

Methods

from :: SchemaExpr -> Rep SchemaExpr x

to :: Rep SchemaExpr x -> SchemaExpr

Generic MonitorRef

Defined in Control.Distributed.Process.Internal.Types

Associated Types

type Rep MonitorRef :: Type -> Type

Methods

from :: MonitorRef -> Rep MonitorRef x

to :: Rep MonitorRef x -> MonitorRef

Generic NodeId

Defined in Control.Distributed.Process.Internal.Types

Associated Types

type Rep NodeId :: Type -> Type

Methods

from :: NodeId -> Rep NodeId x

to :: Rep NodeId x -> NodeId

Generic SendPortId

Defined in Control.Distributed.Process.Internal.Types

Associated Types

type Rep SendPortId :: Type -> Type

Methods

from :: SendPortId -> Rep SendPortId x

to :: Rep SendPortId x -> SendPortId

Generic Identifier

Defined in Control.Distributed.Process.Internal.Types

Associated Types

type Rep Identifier :: Type -> Type

Methods

from :: Identifier -> Rep Identifier x

to :: Rep Identifier x -> Identifier

Generic LocalProcessId

Defined in Control.Distributed.Process.Internal.Types

Associated Types

type Rep LocalProcessId :: Type -> Type

Methods

from :: LocalProcessId -> Rep LocalProcessId x

to :: Rep LocalProcessId x -> LocalProcessId

Generic SetTrace

Defined in Control.Distributed.Process.Management.Internal.Trace.Types

Associated Types

type Rep SetTrace :: Type -> Type

Methods

from :: SetTrace -> Rep SetTrace x

to :: Rep SetTrace x -> SetTrace

Generic TraceFlags

Defined in Control.Distributed.Process.Management.Internal.Trace.Types

Associated Types

type Rep TraceFlags :: Type -> Type

Methods

from :: TraceFlags -> Rep TraceFlags x

to :: Rep TraceFlags x -> TraceFlags

Generic TraceOk

Defined in Control.Distributed.Process.Management.Internal.Trace.Types

Associated Types

type Rep TraceOk :: Type -> Type

Methods

from :: TraceOk -> Rep TraceOk x

to :: Rep TraceOk x -> TraceOk

Generic TraceSubject

Defined in Control.Distributed.Process.Management.Internal.Trace.Types

Associated Types

type Rep TraceSubject :: Type -> Type

Methods

from :: TraceSubject -> Rep TraceSubject x

to :: Rep TraceSubject x -> TraceSubject

Generic MxEvent

Defined in Control.Distributed.Process.Management.Internal.Types

Associated Types

type Rep MxEvent :: Type -> Type

Methods

from :: MxEvent -> Rep MxEvent x

to :: Rep MxEvent x -> MxEvent

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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 SleepingPill

Defined in Control.Distributed.Process.Extras.Timer

Associated Types

type Rep SleepingPill :: Type -> Type

Methods

from :: SleepingPill -> Rep SleepingPill x

to :: Rep SleepingPill x -> SleepingPill

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 LogMessage

Defined in Control.Distributed.Process.Extras.SystemLog

Associated Types

type Rep LogMessage :: Type -> Type

Methods

from :: LogMessage -> Rep LogMessage x

to :: Rep LogMessage x -> LogMessage

Generic AddFormatter

Defined in Control.Distributed.Process.Extras.SystemLog

Associated Types

type Rep AddFormatter :: Type -> Type

Methods

from :: AddFormatter -> Rep AddFormatter x

to :: Rep AddFormatter x -> AddFormatter

Generic SetLevel

Defined in Control.Distributed.Process.Extras.SystemLog

Associated Types

type Rep SetLevel :: Type -> Type

Methods

from :: SetLevel -> Rep SetLevel x

to :: Rep SetLevel x -> SetLevel

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 (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 (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 (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 (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 (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 (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 (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 (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 (Option a)

Defined in Data.Semigroup

Associated Types

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

Methods

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

to :: Rep (Option a) x -> Option 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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (AsyncResult a)

Defined in Control.Distributed.Process.Async.Internal.Types

Associated Types

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

Methods

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

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

Generic (SendPort a)

Defined in Control.Distributed.Process.Internal.Types

Associated Types

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

Methods

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

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

Generic (CallRef a)

Defined in Control.Distributed.Process.ManagedProcess.Internal.Types

Associated Types

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

Methods

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

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

Generic (CallResponse a)

Defined in Control.Distributed.Process.ManagedProcess.Internal.Types

Associated Types

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

Methods

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

to :: Rep (CallResponse a) x -> CallResponse 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 (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 (SizedSeq a)

Defined in 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 (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 (TransportError error)

Defined in Network.Transport

Associated Types

type Rep (TransportError error) :: Type -> Type

Methods

from :: TransportError error -> Rep (TransportError error) x

to :: Rep (TransportError error) x -> TransportError error

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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (Digit a)

Defined in Data.FingerTree

Associated Types

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

Methods

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

to :: Rep (Digit a) x -> Digit 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 (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 (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 (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 (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 (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 (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 (Message a b)

Defined in Control.Distributed.Process.ManagedProcess.Internal.Types

Associated Types

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

Methods

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

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

Generic (PQueue k v)

Defined in Data.PriorityQueue.FingerTree

Associated Types

type Rep (PQueue k v) :: Type -> Type

Methods

from :: PQueue k v -> Rep (PQueue k v) x

to :: Rep (PQueue k v) x -> PQueue k v

Generic (ViewL s a)

Defined in Data.FingerTree

Associated Types

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

Methods

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

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

Generic (ViewR s a)

Defined in Data.FingerTree

Associated Types

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

Methods

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

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

Generic (FingerTree v a)

Defined in Data.FingerTree

Associated Types

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

Methods

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

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

Generic (SearchResult v a)

Defined in Data.FingerTree

Associated Types

type Rep (SearchResult v a) :: Type -> Type

Methods

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

to :: Rep (SearchResult v a) x -> SearchResult v 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 (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.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 (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.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 (Node v a)

Defined in Data.FingerTree

Associated Types

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

Methods

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

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

Generic (Entry k v)

Defined in Data.PriorityQueue.FingerTree

Associated Types

type Rep (Entry k v) :: Type -> Type

Methods

from :: Entry k v -> Rep (Entry k v) x

to :: Rep (Entry k v) x -> Entry k v

Generic (Prio k v)

Defined in Data.PriorityQueue.FingerTree

Associated Types

type Rep (Prio k v) :: Type -> Type

Methods

from :: Prio k v -> Rep (Prio k v) x

to :: Rep (Prio k v) x -> Prio k v

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 (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 (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 (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 (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 (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 (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 ((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 (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 (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 (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 ((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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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

module ProjectM36.Tupleable