Language.Fortran.Util.FirstParameter

A convenience class for retrieving the first field of any constructor in a datatype.

The primary usage for this class is generic derivation:

data D a = D a () String deriving Generic instance FirstParameter (D a) a

Note that _the deriver does not check you are requesting a valid/safe instance._ Invalid instances propagate the error to runtime. Fixing this requires a lot more type-level work. (The generic-lens library has a general solution, but it's slow and memory-consuming.)

Documentation

class FirstParameter a e | a -> e where

Minimal complete definition

Nothing

Methods

getFirstParameter :: a -> e

default getFirstParameter :: (Generic a, GFirstParameter (Rep a) e) => a -> e

setFirstParameter :: e -> a -> a

default setFirstParameter :: (Generic a, GFirstParameter (Rep a) e) => e -> a -> a

Instances

FirstParameter Token SrcSpan

Defined in Language.Fortran.Parser.Fixed.Lexer

Methods

getFirstParameter :: Token -> SrcSpan

setFirstParameter :: SrcSpan -> Token -> Token

FirstParameter Token SrcSpan

Defined in Language.Fortran.Parser.Free.Lexer

Methods

getFirstParameter :: Token -> SrcSpan

setFirstParameter :: SrcSpan -> Token -> Token

FirstParameter (AllocOpt a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: AllocOpt a -> a

setFirstParameter :: a -> AllocOpt a -> AllocOpt a

FirstParameter (Argument a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Argument a -> a

setFirstParameter :: a -> Argument a -> Argument a

FirstParameter (Attribute a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Attribute a -> a

setFirstParameter :: a -> Attribute a -> Attribute a

FirstParameter (Block a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Block a -> a

setFirstParameter :: a -> Block a -> Block a

FirstParameter (CommonGroup a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: CommonGroup a -> a

setFirstParameter :: a -> CommonGroup a -> CommonGroup a

FirstParameter (ControlPair a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: ControlPair a -> a

setFirstParameter :: a -> ControlPair a -> ControlPair a

FirstParameter (DataGroup a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: DataGroup a -> a

setFirstParameter :: a -> DataGroup a -> DataGroup a

FirstParameter (Declarator a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Declarator a -> a

setFirstParameter :: a -> Declarator a -> Declarator a

FirstParameter (DimensionDeclarator a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: DimensionDeclarator a -> a

setFirstParameter :: a -> DimensionDeclarator a -> DimensionDeclarator a

FirstParameter (DoSpecification a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: DoSpecification a -> a

setFirstParameter :: a -> DoSpecification a -> DoSpecification a

FirstParameter (Expression a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Expression a -> a

setFirstParameter :: a -> Expression a -> Expression a

FirstParameter (FlushSpec a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: FlushSpec a -> a

setFirstParameter :: a -> FlushSpec a -> FlushSpec a

FirstParameter (ForallHeader a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: ForallHeader a -> a

setFirstParameter :: a -> ForallHeader a -> ForallHeader a

FirstParameter (ForallHeaderPart a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: ForallHeaderPart a -> a

setFirstParameter :: a -> ForallHeaderPart a -> ForallHeaderPart a

FirstParameter (FormatItem a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: FormatItem a -> a

setFirstParameter :: a -> FormatItem a -> FormatItem a

FirstParameter (ImpElement a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: ImpElement a -> a

setFirstParameter :: a -> ImpElement a -> ImpElement a

FirstParameter (ImpList a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: ImpList a -> a

setFirstParameter :: a -> ImpList a -> ImpList a

FirstParameter (Index a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Index a -> a

setFirstParameter :: a -> Index a -> Index a

FirstParameter (Namelist a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Namelist a -> a

setFirstParameter :: a -> Namelist a -> Namelist a

FirstParameter (Prefix a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Prefix a -> a

setFirstParameter :: a -> Prefix a -> Prefix a

FirstParameter (ProcDecl a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: ProcDecl a -> a

setFirstParameter :: a -> ProcDecl a -> ProcDecl a

FirstParameter (ProcInterface a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: ProcInterface a -> a

setFirstParameter :: a -> ProcInterface a -> ProcInterface a

FirstParameter (ProgramUnit a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: ProgramUnit a -> a

setFirstParameter :: a -> ProgramUnit a -> ProgramUnit a

FirstParameter (Selector a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Selector a -> a

setFirstParameter :: a -> Selector a -> Selector a

FirstParameter (Statement a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Statement a -> a

setFirstParameter :: a -> Statement a -> Statement a

FirstParameter (StructureItem a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: StructureItem a -> a

setFirstParameter :: a -> StructureItem a -> StructureItem a

FirstParameter (Suffix a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Suffix a -> a

setFirstParameter :: a -> Suffix a -> Suffix a

FirstParameter (TypeSpec a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: TypeSpec a -> a

setFirstParameter :: a -> TypeSpec a -> TypeSpec a

FirstParameter (UnionMap a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: UnionMap a -> a

setFirstParameter :: a -> UnionMap a -> UnionMap a

FirstParameter (Use a) a

Defined in Language.Fortran.AST

Methods

getFirstParameter :: Use a -> a

setFirstParameter :: a -> Use a -> Use a

FirstParameter (KindParam a) a

Defined in Language.Fortran.AST.Literal

Methods

getFirstParameter :: KindParam a -> a

setFirstParameter :: a -> KindParam a -> KindParam a

FirstParameter (ComplexLit a) a

Defined in Language.Fortran.AST.Literal.Complex

Methods

getFirstParameter :: ComplexLit a -> a

setFirstParameter :: a -> ComplexLit a -> ComplexLit a

FirstParameter (ComplexPart a) a

Defined in Language.Fortran.AST.Literal.Complex

Methods

getFirstParameter :: ComplexPart a -> a

setFirstParameter :: a -> ComplexPart a -> ComplexPart a

FirstParameter (LValue a) a

Defined in Language.Fortran.LValue

Methods

getFirstParameter :: LValue a -> a

setFirstParameter :: a -> LValue a -> LValue a

FirstParameter (AList t a) a

Defined in Language.Fortran.AST.AList

Methods

getFirstParameter :: AList t a -> a

setFirstParameter :: a -> AList t a -> AList t a

FirstParameter (ATuple t1 t2 a) a

Defined in Language.Fortran.AST.AList

Methods

getFirstParameter :: ATuple t1 t2 a -> a

setFirstParameter :: a -> ATuple t1 t2 a -> ATuple t1 t2 a

class GFirstParameter f e where

Methods

getFirstParameter' :: f a -> e

setFirstParameter' :: e -> f a -> f a

Instances

GFirstParameter (U1 :: k -> Type) String

Defined in Language.Fortran.Util.FirstParameter

Methods

getFirstParameter' :: forall (a :: k0). U1 a -> String

setFirstParameter' :: forall (a :: k0). String -> U1 a -> U1 a

(GFirstParameter a e, GFirstParameter b e) => GFirstParameter (a :*: b :: k -> Type) e

Defined in Language.Fortran.Util.FirstParameter

Methods

getFirstParameter' :: forall (a0 :: k0). (a :*: b) a0 -> e

setFirstParameter' :: forall (a0 :: k0). e -> (a :*: b) a0 -> (a :*: b) a0

(GFirstParameter a e, GFirstParameter b e) => GFirstParameter (a :+: b :: k -> Type) e

Defined in Language.Fortran.Util.FirstParameter

Methods

getFirstParameter' :: forall (a0 :: k0). (a :+: b) a0 -> e

setFirstParameter' :: forall (a0 :: k0). e -> (a :+: b) a0 -> (a :+: b) a0

GFirstParameter (K1 i a :: k -> Type) e

Defined in Language.Fortran.Util.FirstParameter

Methods

getFirstParameter' :: forall (a0 :: k0). K1 i a a0 -> e

setFirstParameter' :: forall (a0 :: k0). e -> K1 i a a0 -> K1 i a a0

GFirstParameter (K1 i e :: k -> Type) e

Defined in Language.Fortran.Util.FirstParameter

Methods

getFirstParameter' :: forall (a :: k0). K1 i e a -> e

setFirstParameter' :: forall (a :: k0). e -> K1 i e a -> K1 i e a

GFirstParameter a e => GFirstParameter (M1 i c a :: k -> Type) e

Defined in Language.Fortran.Util.FirstParameter

Methods

getFirstParameter' :: forall (a0 :: k0). M1 i c a a0 -> e

setFirstParameter' :: forall (a0 :: k0). e -> M1 i c a a0 -> M1 i c a a0