Language.Fortran.Repr.Type.Scalar.Real

Documentation

data FTReal

Constructors

FTReal4

FTReal8

Instances

Data FTReal

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

Methods

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

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

toConstr :: FTReal -> Constr

dataTypeOf :: FTReal -> DataType

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

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

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

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

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

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

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

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

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

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

Enum FTReal

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

Methods

succ :: FTReal -> FTReal

pred :: FTReal -> FTReal

toEnum :: Int -> FTReal

fromEnum :: FTReal -> Int

enumFrom :: FTReal -> [FTReal]

enumFromThen :: FTReal -> FTReal -> [FTReal]

enumFromTo :: FTReal -> FTReal -> [FTReal]

enumFromThenTo :: FTReal -> FTReal -> FTReal -> [FTReal]

Generic FTReal

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

Associated Types

type Rep FTReal :: Type -> Type

Methods

from :: FTReal -> Rep FTReal x

to :: Rep FTReal x -> FTReal

Show FTReal

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

Methods

showsPrec :: Int -> FTReal -> ShowS

show :: FTReal -> String

showList :: [FTReal] -> ShowS

Show SomeFComplex

Defined in Language.Fortran.Repr.Value.Scalar.Complex

Methods

showsPrec :: Int -> SomeFComplex -> ShowS

show :: SomeFComplex -> String

showList :: [SomeFComplex] -> ShowS

Show SomeFReal

Defined in Language.Fortran.Repr.Value.Scalar.Real

Methods

showsPrec :: Int -> SomeFReal -> ShowS

show :: SomeFReal -> String

showList :: [SomeFReal] -> ShowS

FKinded FTReal

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

Associated Types

type FKindOf x :: FKindType

type FKindDefault :: a

Methods

printFKind :: FTReal -> FKindTerm

parseFKind :: FKindTerm -> Maybe FTReal

Eq FTReal

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

Methods

(==) :: FTReal -> FTReal -> Bool

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

Eq SomeFComplex

Defined in Language.Fortran.Repr.Value.Scalar.Complex

Methods

(==) :: SomeFComplex -> SomeFComplex -> Bool

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

Eq SomeFReal

Defined in Language.Fortran.Repr.Value.Scalar.Real

Methods

(==) :: SomeFReal -> SomeFReal -> Bool

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

Ord FTReal

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

Methods

compare :: FTReal -> FTReal -> Ordering

(<) :: FTReal -> FTReal -> Bool

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

(>) :: FTReal -> FTReal -> Bool

(>=) :: FTReal -> FTReal -> Bool

max :: FTReal -> FTReal -> FTReal

min :: FTReal -> FTReal -> FTReal

Ord SomeFReal

Defined in Language.Fortran.Repr.Value.Scalar.Real

Methods

compare :: SomeFReal -> SomeFReal -> Ordering

(<) :: SomeFReal -> SomeFReal -> Bool

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

(>) :: SomeFReal -> SomeFReal -> Bool

(>=) :: SomeFReal -> SomeFReal -> Bool

max :: SomeFReal -> SomeFReal -> SomeFReal

min :: SomeFReal -> SomeFReal -> SomeFReal

SingKind FTReal

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

Associated Types

type Demote FTReal = (r :: Type)

Methods

fromSing :: forall (a :: FTReal). Sing a -> Demote FTReal

toSing :: Demote FTReal -> SomeSing FTReal

SDecide FTReal

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

Methods

(%~) :: forall (a :: FTReal) (b :: FTReal). Sing a -> Sing b -> Decision (a :~: b)

PEq FTReal

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

Associated Types

type arg == arg1 :: Bool

type arg /= arg1 :: Bool

SEq FTReal

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

Methods

(%==) :: forall (t1 :: FTReal) (t2 :: FTReal). Sing t1 -> Sing t2 -> Sing (Apply (Apply (==@#@$) t1) t2)

(%/=) :: forall (t1 :: FTReal) (t2 :: FTReal). Sing t1 -> Sing t2 -> Sing (Apply (Apply (/=@#@$) t1) t2)

POrd FTReal

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

Associated Types

type Compare arg arg1 :: Ordering

type arg < arg1 :: Bool

type arg <= arg1 :: Bool

type arg > arg1 :: Bool

type arg >= arg1 :: Bool

type Max arg arg1 :: a

type Min arg arg1 :: a

SOrd FTReal

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

Methods

sCompare :: forall (t1 :: FTReal) (t2 :: FTReal). Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2)

(%<) :: forall (t1 :: FTReal) (t2 :: FTReal). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2)

(%<=) :: forall (t1 :: FTReal) (t2 :: FTReal). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2)

(%>) :: forall (t1 :: FTReal) (t2 :: FTReal). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2)

(%>=) :: forall (t1 :: FTReal) (t2 :: FTReal). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2)

sMax :: forall (t1 :: FTReal) (t2 :: FTReal). Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2)

sMin :: forall (t1 :: FTReal) (t2 :: FTReal). Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2)

PShow FTReal

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

Associated Types

type ShowsPrec arg arg1 arg2 :: Symbol

type Show_ arg :: Symbol

type ShowList arg arg1 :: Symbol

SShow FTReal

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

Methods

sShowsPrec :: forall (t1 :: Natural) (t2 :: FTReal) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3)

sShow_ :: forall (t :: FTReal). Sing t -> Sing (Apply Show_Sym0 t)

sShowList :: forall (t1 :: [FTReal]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2)

TestCoercion SFTReal

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

Methods

testCoercion :: forall (a :: k) (b :: k). SFTReal a -> SFTReal b -> Maybe (Coercion a b)

TestEquality SFTReal

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

Methods

testEquality :: forall (a :: k) (b :: k). SFTReal a -> SFTReal b -> Maybe (a :~: b)

SingI 'FTReal4

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

Methods

sing :: Sing 'FTReal4

SingI 'FTReal8

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

Methods

sing :: Sing 'FTReal8

Show (SomeFVA FTReal FComplex)

Defined in Language.Fortran.Repr.Value.Array.Machine

Methods

showsPrec :: Int -> SomeFVA FTReal FComplex -> ShowS

show :: SomeFVA FTReal FComplex -> String

showList :: [SomeFVA FTReal FComplex] -> ShowS

Show (SomeFVA FTReal FReal)

Defined in Language.Fortran.Repr.Value.Array.Machine

Methods

showsPrec :: Int -> SomeFVA FTReal FReal -> ShowS

show :: SomeFVA FTReal FReal -> String

showList :: [SomeFVA FTReal FReal] -> ShowS

SuppressUnusedWarnings Compare_6989586621679098627Sym0

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

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings TFHelper_6989586621679097586Sym0

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

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings ShowsPrec_6989586621679101166Sym0

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

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Compare_6989586621679098627Sym1 a6989586621679098632 :: TyFun FTReal Ordering -> Type)

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

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (ShowsPrec_6989586621679101166Sym1 a6989586621679101176 :: TyFun FTReal (Symbol ~> Symbol) -> Type)

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

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TFHelper_6989586621679097586Sym1 a6989586621679097591 :: TyFun FTReal Bool -> Type)

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

Methods

suppressUnusedWarnings :: ()

type Rep FTReal

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

type Rep FTReal = D1 ('MetaData "FTReal" "Language.Fortran.Repr.Type.Scalar.Real" "fortran-src-0.12.0-inplace" 'False) (C1 ('MetaCons "FTReal4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FTReal8" 'PrefixI 'False) (U1 :: Type -> Type))

type FKindDefault

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

type FKindDefault = 'FTReal4

type Demote FTReal

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

type Demote FTReal = FTReal

type Sing

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

type Sing = SFTReal

type FKindOf 'FTReal4

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

type FKindOf 'FTReal4 = 4

type FKindOf 'FTReal8

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

type FKindOf 'FTReal8 = 8

type Show_ (arg :: FTReal)

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

type Show_ (arg :: FTReal) = Apply (Show__6989586621680059119Sym0 :: TyFun FTReal Symbol -> Type) arg

type (arg :: FTReal) /= (arg1 :: FTReal)

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

type (arg :: FTReal) /= (arg1 :: FTReal) = Apply (Apply (TFHelper_6989586621679129971Sym0 :: TyFun FTReal (FTReal ~> Bool) -> Type) arg) arg1

type (a1 :: FTReal) == (a2 :: FTReal)

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

type (a1 :: FTReal) == (a2 :: FTReal) = Apply (Apply TFHelper_6989586621679097586Sym0 a1) a2

type (arg :: FTReal) < (arg1 :: FTReal)

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

type (arg :: FTReal) < (arg1 :: FTReal) = Apply (Apply (TFHelper_6989586621679167373Sym0 :: TyFun FTReal (FTReal ~> Bool) -> Type) arg) arg1

type (arg :: FTReal) <= (arg1 :: FTReal)

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

type (arg :: FTReal) <= (arg1 :: FTReal) = Apply (Apply (TFHelper_6989586621679167389Sym0 :: TyFun FTReal (FTReal ~> Bool) -> Type) arg) arg1

type (arg :: FTReal) > (arg1 :: FTReal)

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

type (arg :: FTReal) > (arg1 :: FTReal) = Apply (Apply (TFHelper_6989586621679167405Sym0 :: TyFun FTReal (FTReal ~> Bool) -> Type) arg) arg1

type (arg :: FTReal) >= (arg1 :: FTReal)

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

type (arg :: FTReal) >= (arg1 :: FTReal) = Apply (Apply (TFHelper_6989586621679167421Sym0 :: TyFun FTReal (FTReal ~> Bool) -> Type) arg) arg1

type Compare (a1 :: FTReal) (a2 :: FTReal)

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

type Compare (a1 :: FTReal) (a2 :: FTReal) = Apply (Apply Compare_6989586621679098627Sym0 a1) a2

type Max (arg :: FTReal) (arg1 :: FTReal)

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

type Max (arg :: FTReal) (arg1 :: FTReal) = Apply (Apply (Max_6989586621679167437Sym0 :: TyFun FTReal (FTReal ~> FTReal) -> Type) arg) arg1

type Min (arg :: FTReal) (arg1 :: FTReal)

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

type Min (arg :: FTReal) (arg1 :: FTReal) = Apply (Apply (Min_6989586621679167453Sym0 :: TyFun FTReal (FTReal ~> FTReal) -> Type) arg) arg1

type ShowList (arg :: [FTReal]) arg1

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

type ShowList (arg :: [FTReal]) arg1 = Apply (Apply (ShowList_6989586621680059127Sym0 :: TyFun [FTReal] (Symbol ~> Symbol) -> Type) arg) arg1

type ShowsPrec a1 (a2 :: FTReal) a3

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

type ShowsPrec a1 (a2 :: FTReal) a3 = Apply (Apply (Apply ShowsPrec_6989586621679101166Sym0 a1) a2) a3

type Apply (Compare_6989586621679098627Sym1 a6989586621679098632 :: TyFun FTReal Ordering -> Type) (a6989586621679098633 :: FTReal)

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

type Apply (Compare_6989586621679098627Sym1 a6989586621679098632 :: TyFun FTReal Ordering -> Type) (a6989586621679098633 :: FTReal) = Compare_6989586621679098627 a6989586621679098632 a6989586621679098633

type Apply (TFHelper_6989586621679097586Sym1 a6989586621679097591 :: TyFun FTReal Bool -> Type) (a6989586621679097592 :: FTReal)

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

type Apply (TFHelper_6989586621679097586Sym1 a6989586621679097591 :: TyFun FTReal Bool -> Type) (a6989586621679097592 :: FTReal) = TFHelper_6989586621679097586 a6989586621679097591 a6989586621679097592

type Apply Compare_6989586621679098627Sym0 (a6989586621679098632 :: FTReal)

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

type Apply Compare_6989586621679098627Sym0 (a6989586621679098632 :: FTReal) = Compare_6989586621679098627Sym1 a6989586621679098632

type Apply TFHelper_6989586621679097586Sym0 (a6989586621679097591 :: FTReal)

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

type Apply TFHelper_6989586621679097586Sym0 (a6989586621679097591 :: FTReal) = TFHelper_6989586621679097586Sym1 a6989586621679097591

type Apply ShowsPrec_6989586621679101166Sym0 (a6989586621679101176 :: Natural)

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

type Apply ShowsPrec_6989586621679101166Sym0 (a6989586621679101176 :: Natural) = ShowsPrec_6989586621679101166Sym1 a6989586621679101176

type Apply (ShowsPrec_6989586621679101166Sym1 a6989586621679101176 :: TyFun FTReal (Symbol ~> Symbol) -> Type) (a6989586621679101177 :: FTReal)

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

type Apply (ShowsPrec_6989586621679101166Sym1 a6989586621679101176 :: TyFun FTReal (Symbol ~> Symbol) -> Type) (a6989586621679101177 :: FTReal) = ShowsPrec_6989586621679101166Sym2 a6989586621679101176 a6989586621679101177

type family FTReal4Sym0 :: FTReal where ...

Equations

FTReal4Sym0 = FTReal4

type family FTReal8Sym0 :: FTReal where ...

Equations

FTReal8Sym0 = FTReal8

type family TFHelper_6989586621679097586 (a :: FTReal) (a :: FTReal) :: Bool where ...

Equations

TFHelper_6989586621679097586 FTReal4 FTReal4 = TrueSym0

TFHelper_6989586621679097586 FTReal4 FTReal8 = FalseSym0

TFHelper_6989586621679097586 FTReal8 FTReal4 = FalseSym0

TFHelper_6989586621679097586 FTReal8 FTReal8 = TrueSym0

type family TFHelper_6989586621679097586Sym2 (a6989586621679097591 :: FTReal) (a6989586621679097592 :: FTReal) :: Bool where ...

Equations

TFHelper_6989586621679097586Sym2 a6989586621679097591 a6989586621679097592 = TFHelper_6989586621679097586 a6989586621679097591 a6989586621679097592

data TFHelper_6989586621679097586Sym1 (a6989586621679097591 :: FTReal) :: (~>) FTReal Bool where

Constructors

TFHelper_6989586621679097586Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679097586Sym1 a6989586621679097591) arg) (TFHelper_6989586621679097586Sym2 a6989586621679097591 arg) => TFHelper_6989586621679097586Sym1 a6989586621679097591 a6989586621679097592

Instances

SuppressUnusedWarnings (TFHelper_6989586621679097586Sym1 a6989586621679097591 :: TyFun FTReal Bool -> Type)

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

Methods

suppressUnusedWarnings :: ()

type Apply (TFHelper_6989586621679097586Sym1 a6989586621679097591 :: TyFun FTReal Bool -> Type) (a6989586621679097592 :: FTReal)

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

type Apply (TFHelper_6989586621679097586Sym1 a6989586621679097591 :: TyFun FTReal Bool -> Type) (a6989586621679097592 :: FTReal) = TFHelper_6989586621679097586 a6989586621679097591 a6989586621679097592

data TFHelper_6989586621679097586Sym0 :: (~>) FTReal ((~>) FTReal Bool) where

Constructors

TFHelper_6989586621679097586Sym0KindInference :: SameKind (Apply TFHelper_6989586621679097586Sym0 arg) (TFHelper_6989586621679097586Sym1 arg) => TFHelper_6989586621679097586Sym0 a6989586621679097591

Instances

SuppressUnusedWarnings TFHelper_6989586621679097586Sym0

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

Methods

suppressUnusedWarnings :: ()

type Apply TFHelper_6989586621679097586Sym0 (a6989586621679097591 :: FTReal)

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

type Apply TFHelper_6989586621679097586Sym0 (a6989586621679097591 :: FTReal) = TFHelper_6989586621679097586Sym1 a6989586621679097591

type family Compare_6989586621679098627 (a :: FTReal) (a :: FTReal) :: Ordering where ...

Equations

Compare_6989586621679098627 FTReal4 FTReal4 = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) NilSym0

Compare_6989586621679098627 FTReal8 FTReal8 = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) NilSym0

Compare_6989586621679098627 FTReal4 FTReal8 = LTSym0

Compare_6989586621679098627 FTReal8 FTReal4 = GTSym0

type family Compare_6989586621679098627Sym2 (a6989586621679098632 :: FTReal) (a6989586621679098633 :: FTReal) :: Ordering where ...

Equations

Compare_6989586621679098627Sym2 a6989586621679098632 a6989586621679098633 = Compare_6989586621679098627 a6989586621679098632 a6989586621679098633

data Compare_6989586621679098627Sym1 (a6989586621679098632 :: FTReal) :: (~>) FTReal Ordering where

Constructors

Compare_6989586621679098627Sym1KindInference :: SameKind (Apply (Compare_6989586621679098627Sym1 a6989586621679098632) arg) (Compare_6989586621679098627Sym2 a6989586621679098632 arg) => Compare_6989586621679098627Sym1 a6989586621679098632 a6989586621679098633

Instances

SuppressUnusedWarnings (Compare_6989586621679098627Sym1 a6989586621679098632 :: TyFun FTReal Ordering -> Type)

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

Methods

suppressUnusedWarnings :: ()

type Apply (Compare_6989586621679098627Sym1 a6989586621679098632 :: TyFun FTReal Ordering -> Type) (a6989586621679098633 :: FTReal)

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

type Apply (Compare_6989586621679098627Sym1 a6989586621679098632 :: TyFun FTReal Ordering -> Type) (a6989586621679098633 :: FTReal) = Compare_6989586621679098627 a6989586621679098632 a6989586621679098633

data Compare_6989586621679098627Sym0 :: (~>) FTReal ((~>) FTReal Ordering) where

Constructors

Compare_6989586621679098627Sym0KindInference :: SameKind (Apply Compare_6989586621679098627Sym0 arg) (Compare_6989586621679098627Sym1 arg) => Compare_6989586621679098627Sym0 a6989586621679098632

Instances

SuppressUnusedWarnings Compare_6989586621679098627Sym0

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

Methods

suppressUnusedWarnings :: ()

type Apply Compare_6989586621679098627Sym0 (a6989586621679098632 :: FTReal)

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

type Apply Compare_6989586621679098627Sym0 (a6989586621679098632 :: FTReal) = Compare_6989586621679098627Sym1 a6989586621679098632

type family ShowsPrec_6989586621679101166 (a :: Natural) (a :: FTReal) (a :: Symbol) :: Symbol where ...

Equations

ShowsPrec_6989586621679101166 _ FTReal4 a_6989586621679101168 = Apply (Apply ShowStringSym0 "FTReal4") a_6989586621679101168

ShowsPrec_6989586621679101166 _ FTReal8 a_6989586621679101170 = Apply (Apply ShowStringSym0 "FTReal8") a_6989586621679101170

type family ShowsPrec_6989586621679101166Sym3 (a6989586621679101176 :: Natural) (a6989586621679101177 :: FTReal) (a6989586621679101178 :: Symbol) :: Symbol where ...

Equations

ShowsPrec_6989586621679101166Sym3 a6989586621679101176 a6989586621679101177 a6989586621679101178 = ShowsPrec_6989586621679101166 a6989586621679101176 a6989586621679101177 a6989586621679101178

data ShowsPrec_6989586621679101166Sym2 (a6989586621679101176 :: Natural) (a6989586621679101177 :: FTReal) :: (~>) Symbol Symbol where

Constructors

ShowsPrec_6989586621679101166Sym2KindInference :: SameKind (Apply (ShowsPrec_6989586621679101166Sym2 a6989586621679101176 a6989586621679101177) arg) (ShowsPrec_6989586621679101166Sym3 a6989586621679101176 a6989586621679101177 arg) => ShowsPrec_6989586621679101166Sym2 a6989586621679101176 a6989586621679101177 a6989586621679101178

Instances

SuppressUnusedWarnings (ShowsPrec_6989586621679101166Sym2 a6989586621679101176 a6989586621679101177 :: TyFun Symbol Symbol -> Type)

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

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrec_6989586621679101166Sym2 a6989586621679101176 a6989586621679101177 :: TyFun Symbol Symbol -> Type) (a6989586621679101178 :: Symbol)

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

type Apply (ShowsPrec_6989586621679101166Sym2 a6989586621679101176 a6989586621679101177 :: TyFun Symbol Symbol -> Type) (a6989586621679101178 :: Symbol) = ShowsPrec_6989586621679101166 a6989586621679101176 a6989586621679101177 a6989586621679101178

data ShowsPrec_6989586621679101166Sym1 (a6989586621679101176 :: Natural) :: (~>) FTReal ((~>) Symbol Symbol) where

Constructors

ShowsPrec_6989586621679101166Sym1KindInference :: SameKind (Apply (ShowsPrec_6989586621679101166Sym1 a6989586621679101176) arg) (ShowsPrec_6989586621679101166Sym2 a6989586621679101176 arg) => ShowsPrec_6989586621679101166Sym1 a6989586621679101176 a6989586621679101177

Instances

SuppressUnusedWarnings (ShowsPrec_6989586621679101166Sym1 a6989586621679101176 :: TyFun FTReal (Symbol ~> Symbol) -> Type)

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

Methods

suppressUnusedWarnings :: ()

type Apply (ShowsPrec_6989586621679101166Sym1 a6989586621679101176 :: TyFun FTReal (Symbol ~> Symbol) -> Type) (a6989586621679101177 :: FTReal)

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

type Apply (ShowsPrec_6989586621679101166Sym1 a6989586621679101176 :: TyFun FTReal (Symbol ~> Symbol) -> Type) (a6989586621679101177 :: FTReal) = ShowsPrec_6989586621679101166Sym2 a6989586621679101176 a6989586621679101177

data ShowsPrec_6989586621679101166Sym0 :: (~>) Natural ((~>) FTReal ((~>) Symbol Symbol)) where

Constructors

ShowsPrec_6989586621679101166Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679101166Sym0 arg) (ShowsPrec_6989586621679101166Sym1 arg) => ShowsPrec_6989586621679101166Sym0 a6989586621679101176

Instances

SuppressUnusedWarnings ShowsPrec_6989586621679101166Sym0

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

Methods

suppressUnusedWarnings :: ()

type Apply ShowsPrec_6989586621679101166Sym0 (a6989586621679101176 :: Natural)

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

type Apply ShowsPrec_6989586621679101166Sym0 (a6989586621679101176 :: Natural) = ShowsPrec_6989586621679101166Sym1 a6989586621679101176

data SFTReal :: FTReal -> Type where

Constructors

SFTReal4 :: SFTReal (FTReal4 :: FTReal)

SFTReal8 :: SFTReal (FTReal8 :: FTReal)

Instances

TestCoercion SFTReal

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

Methods

testCoercion :: forall (a :: k) (b :: k). SFTReal a -> SFTReal b -> Maybe (Coercion a b)

TestEquality SFTReal

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

Methods

testEquality :: forall (a :: k) (b :: k). SFTReal a -> SFTReal b -> Maybe (a :~: b)

Show (SFTReal z)

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

Methods

showsPrec :: Int -> SFTReal z -> ShowS

show :: SFTReal z -> String

showList :: [SFTReal z] -> ShowS

type family FTRealCombine k1 k2 where ...

Get the output type from combining two real values of arbitrary kinds (for example, adding a REAL(4) and a REAL(8)).

Equations

FTRealCombine 'FTReal8 _ = 'FTReal8

FTRealCombine _ 'FTReal8 = 'FTReal8

FTRealCombine 'FTReal4 'FTReal4 = 'FTReal4