Language.Fortran.Repr.Type.Scalar.Int

Documentation

data FTInt

The Fortran integer type.

Constructors

FTInt1

INTEGER(1)

FTInt2

INTEGER(2)

FTInt4

INTEGER(4)

FTInt8

INTEGER(8)

FTInt16

INTEGER(16)

Instances

Out FTInt

Defined in Language.Fortran.Repr.Type.Scalar.Int

Methods

docPrec :: Int -> FTInt -> Doc

doc :: FTInt -> Doc

docList :: [FTInt] -> Doc

Data FTInt

Defined in Language.Fortran.Repr.Type.Scalar.Int

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FTInt -> c FTInt

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FTInt

toConstr :: FTInt -> Constr

dataTypeOf :: FTInt -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FTInt)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FTInt)

gmapT :: (forall b. Data b => b -> b) -> FTInt -> FTInt

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FTInt -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FTInt -> r

gmapQ :: (forall d. Data d => d -> u) -> FTInt -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FTInt -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FTInt -> m FTInt

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FTInt -> m FTInt

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FTInt -> m FTInt

Enum FTInt

Defined in Language.Fortran.Repr.Type.Scalar.Int

Methods

succ :: FTInt -> FTInt

pred :: FTInt -> FTInt

toEnum :: Int -> FTInt

fromEnum :: FTInt -> Int

enumFrom :: FTInt -> [FTInt]

enumFromThen :: FTInt -> FTInt -> [FTInt]

enumFromTo :: FTInt -> FTInt -> [FTInt]

enumFromThenTo :: FTInt -> FTInt -> FTInt -> [FTInt]

Generic FTInt

Defined in Language.Fortran.Repr.Type.Scalar.Int

Associated Types

type Rep FTInt :: Type -> Type

Methods

from :: FTInt -> Rep FTInt x

to :: Rep FTInt x -> FTInt

Show FTInt

Defined in Language.Fortran.Repr.Type.Scalar.Int

Methods

showsPrec :: Int -> FTInt -> ShowS

show :: FTInt -> String

showList :: [FTInt] -> ShowS

Binary FTInt

Defined in Language.Fortran.Repr.Type.Scalar.Int

Methods

put :: FTInt -> Put

get :: Get FTInt

putList :: [FTInt] -> Put

FKind FTInt

Defined in Language.Fortran.Repr.Type.Scalar.Int

Methods

printFKind :: FTInt -> FKindLit

parseFKind :: FKindLit -> Maybe FTInt

Eq FTInt

Defined in Language.Fortran.Repr.Type.Scalar.Int

Methods

(==) :: FTInt -> FTInt -> Bool

(/=) :: FTInt -> FTInt -> Bool

Ord FTInt

Defined in Language.Fortran.Repr.Type.Scalar.Int

Methods

compare :: FTInt -> FTInt -> Ordering

(<) :: FTInt -> FTInt -> Bool

(<=) :: FTInt -> FTInt -> Bool

(>) :: FTInt -> FTInt -> Bool

(>=) :: FTInt -> FTInt -> Bool

max :: FTInt -> FTInt -> FTInt

min :: FTInt -> FTInt -> FTInt

type Rep FTInt

Defined in Language.Fortran.Repr.Type.Scalar.Int

type Rep FTInt = D1 ('MetaData "FTInt" "Language.Fortran.Repr.Type.Scalar.Int" "fortran-src-0.16.1-inplace" 'False) ((C1 ('MetaCons "FTInt1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FTInt2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FTInt4" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FTInt8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FTInt16" 'PrefixI 'False) (U1 :: Type -> Type))))

type family FTIntCombine k1 k2 where ...

Equations

FTIntCombine k k = k

FTIntCombine 'FTInt16 _ = 'FTInt16

FTIntCombine _ 'FTInt16 = 'FTInt16

FTIntCombine 'FTInt8 _ = 'FTInt8

FTIntCombine _ 'FTInt8 = 'FTInt8

FTIntCombine 'FTInt4 _ = 'FTInt4

FTIntCombine _ 'FTInt4 = 'FTInt4

FTIntCombine 'FTInt2 _ = 'FTInt2

FTIntCombine _ 'FTInt2 = 'FTInt2