Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Fortran.AST.Literal

Documentation

data KindParam a Source #

Constructors

KindParamInt a SrcSpan String	[0-9]+
KindParamVar a SrcSpan Name	`[a-z][a-z0-9]+` (case insensitive)

Instances

Instances details

Functor KindParam Source #
Instance details Defined in Language.Fortran.AST.Literal Methods fmap :: (a -> b) -> KindParam a -> KindParam b # (<$) :: a -> KindParam b -> KindParam a #
Annotated KindParam Source #
Instance details Defined in Language.Fortran.AST.Literal Methods getAnnotation :: KindParam a -> a Source # setAnnotation :: a -> KindParam a -> KindParam a Source # modifyAnnotation :: (a -> a) -> KindParam a -> KindParam a Source #
Out a => Out (KindParam a) Source #
Instance details Defined in Language.Fortran.AST.Literal Methods docPrec :: Int -> KindParam a -> Doc # doc :: KindParam a -> Doc # docList :: [KindParam a] -> Doc #
Data a => Data (KindParam a) Source #
Instance details Defined in Language.Fortran.AST.Literal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> KindParam a -> c (KindParam a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (KindParam a) # toConstr :: KindParam a -> Constr # dataTypeOf :: KindParam a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (KindParam a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (KindParam a)) # gmapT :: (forall b. Data b => b -> b) -> KindParam a -> KindParam a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> KindParam a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> KindParam a -> r # gmapQ :: (forall d. Data d => d -> u) -> KindParam a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> KindParam a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> KindParam a -> m (KindParam a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> KindParam a -> m (KindParam a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> KindParam a -> m (KindParam a) #
Generic (KindParam a) Source #
Instance details Defined in Language.Fortran.AST.Literal Associated Types type Rep (KindParam a) :: Type -> Type # Methods from :: KindParam a -> Rep (KindParam a) x # to :: Rep (KindParam a) x -> KindParam a #
Show a => Show (KindParam a) Source #
Instance details Defined in Language.Fortran.AST.Literal Methods showsPrec :: Int -> KindParam a -> ShowS # show :: KindParam a -> String # showList :: [KindParam a] -> ShowS #
NFData a => NFData (KindParam a) Source #
Instance details Defined in Language.Fortran.AST.Literal Methods rnf :: KindParam a -> () #
Pretty (KindParam a) Source #
Instance details Defined in Language.Fortran.PrettyPrint Methods pprint' :: FortranVersion -> KindParam a -> Doc Source #
Spanned (KindParam a) Source #
Instance details Defined in Language.Fortran.AST.Literal Methods getSpan :: KindParam a -> SrcSpan Source # setSpan :: SrcSpan -> KindParam a -> KindParam a Source #
Eq a => Eq (KindParam a) Source #
Instance details Defined in Language.Fortran.AST.Literal Methods (==) :: KindParam a -> KindParam a -> Bool # (/=) :: KindParam a -> KindParam a -> Bool #
FirstParameter (KindParam a) a Source #
Instance details Defined in Language.Fortran.AST.Literal Methods getFirstParameter :: KindParam a -> a Source # setFirstParameter :: a -> KindParam a -> KindParam a Source #
SecondParameter (KindParam a) SrcSpan Source #
Instance details Defined in Language.Fortran.AST.Literal Methods getSecondParameter :: KindParam a -> SrcSpan Source # setSecondParameter :: SrcSpan -> KindParam a -> KindParam a Source #
type Rep (KindParam a) Source #
Instance details Defined in Language.Fortran.AST.Literal type Rep (KindParam a) = D1 ('MetaData "KindParam" "Language.Fortran.AST.Literal" "fortran-src-0.15.1-inplace" 'False) (C1 ('MetaCons "KindParamInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SrcSpan) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: C1 ('MetaCons "KindParamVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SrcSpan) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))))