Data.Arguments

Documentation

class Argument (f :: k1) (n :: k2)

Get or modify a type within a larger type. This is entirely a type-level operation, there is nothing corresponding to a value access or update.

Associated Types

type GetArg f n :: k1

type SetArg f n x :: k1

Instances

Argument * Nat (Equals x y) 1

Associated Types

type GetArg 1 (Equals x y) (f :: Equals x y) (n :: 1) :: k1

type SetArg 1 (Equals x y) (f :: Equals x y) (n :: 1) x :: k1

Argument * Nat (Equals x y) 0

Associated Types

type GetArg 0 (Equals x y) (f :: Equals x y) (n :: 0) :: k1

type SetArg 0 (Equals x y) (f :: Equals x y) (n :: 0) x :: k1

Argument * * (Either a b) RHS

Associated Types

type GetArg RHS (Either a b) (f :: Either a b) (n :: RHS) :: k1

type SetArg RHS (Either a b) (f :: Either a b) (n :: RHS) x :: k1

Argument * * (Either a b) LHS

Associated Types

type GetArg LHS (Either a b) (f :: Either a b) (n :: LHS) :: k1

type SetArg LHS (Either a b) (f :: Either a b) (n :: LHS) x :: k1

Argument * * (Equals x y) RHS

Associated Types

type GetArg RHS (Equals x y) (f :: Equals x y) (n :: RHS) :: k1

type SetArg RHS (Equals x y) (f :: Equals x y) (n :: RHS) x :: k1

Argument * * (Equals x y) LHS

Associated Types

type GetArg LHS (Equals x y) (f :: Equals x y) (n :: LHS) :: k1

type SetArg LHS (Equals x y) (f :: Equals x y) (n :: LHS) x :: k1

data LHS

Position: the left-hand side of a type.

Instances

Argument * * (Either a b) LHS

Associated Types

type GetArg LHS (Either a b) (f :: Either a b) (n :: LHS) :: k1

type SetArg LHS (Either a b) (f :: Either a b) (n :: LHS) x :: k1

Argument * * (Equals x y) LHS

Associated Types

type GetArg LHS (Equals x y) (f :: Equals x y) (n :: LHS) :: k1

type SetArg LHS (Equals x y) (f :: Equals x y) (n :: LHS) x :: k1

type GetArg * * (Either a b) LHS

type GetArg * * (Either a b) LHS = a

type GetArg * * (Equals x y) LHS

type GetArg * * (Equals x y) LHS = x

type SetArg * * (Either a b) LHS a'

type SetArg * * (Either a b) LHS a' = Either a' b

type SetArg * * (Equals x y) LHS x'

type SetArg * * (Equals x y) LHS x' = Equals x' y

data RHS

Position: the right-hand side of a type.

Instances

Argument * * (Either a b) RHS

Associated Types

type GetArg RHS (Either a b) (f :: Either a b) (n :: RHS) :: k1

type SetArg RHS (Either a b) (f :: Either a b) (n :: RHS) x :: k1

Argument * * (Equals x y) RHS

Associated Types

type GetArg RHS (Equals x y) (f :: Equals x y) (n :: RHS) :: k1

type SetArg RHS (Equals x y) (f :: Equals x y) (n :: RHS) x :: k1

type GetArg * * (Either a b) RHS

type GetArg * * (Either a b) RHS = b

type GetArg * * (Equals x y) RHS

type GetArg * * (Equals x y) RHS = y

type SetArg * * (Either a b) RHS b'

type SetArg * * (Either a b) RHS b' = Either a b'

type SetArg * * (Equals x y) RHS y'

type SetArg * * (Equals x y) RHS y' = Equals x y'

data Arg n

A specialized proxy for arguments.

Constructors

Arg

arg :: Arg n

Inhabitant of the argument proxy.