Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data FTReal
- type family FTReal4Sym0 :: FTReal where ...
- type family FTReal8Sym0 :: FTReal where ...
- type family TFHelper_6989586621679097586 (a :: FTReal) (a :: FTReal) :: Bool where ...
- type family TFHelper_6989586621679097586Sym2 (a6989586621679097591 :: FTReal) (a6989586621679097592 :: FTReal) :: Bool where ...
- data TFHelper_6989586621679097586Sym1 (a6989586621679097591 :: FTReal) :: (~>) FTReal Bool where
- TFHelper_6989586621679097586Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679097586Sym1 a6989586621679097591) arg) (TFHelper_6989586621679097586Sym2 a6989586621679097591 arg) => TFHelper_6989586621679097586Sym1 a6989586621679097591 a6989586621679097592
- data TFHelper_6989586621679097586Sym0 :: (~>) FTReal ((~>) FTReal Bool) where
- TFHelper_6989586621679097586Sym0KindInference :: SameKind (Apply TFHelper_6989586621679097586Sym0 arg) (TFHelper_6989586621679097586Sym1 arg) => TFHelper_6989586621679097586Sym0 a6989586621679097591
- type family Compare_6989586621679098627 (a :: FTReal) (a :: FTReal) :: Ordering where ...
- type family Compare_6989586621679098627Sym2 (a6989586621679098632 :: FTReal) (a6989586621679098633 :: FTReal) :: Ordering where ...
- data Compare_6989586621679098627Sym1 (a6989586621679098632 :: FTReal) :: (~>) FTReal Ordering where
- Compare_6989586621679098627Sym1KindInference :: SameKind (Apply (Compare_6989586621679098627Sym1 a6989586621679098632) arg) (Compare_6989586621679098627Sym2 a6989586621679098632 arg) => Compare_6989586621679098627Sym1 a6989586621679098632 a6989586621679098633
- data Compare_6989586621679098627Sym0 :: (~>) FTReal ((~>) FTReal Ordering) where
- Compare_6989586621679098627Sym0KindInference :: SameKind (Apply Compare_6989586621679098627Sym0 arg) (Compare_6989586621679098627Sym1 arg) => Compare_6989586621679098627Sym0 a6989586621679098632
- type family ShowsPrec_6989586621679101166 (a :: Natural) (a :: FTReal) (a :: Symbol) :: Symbol where ...
- type family ShowsPrec_6989586621679101166Sym3 (a6989586621679101176 :: Natural) (a6989586621679101177 :: FTReal) (a6989586621679101178 :: Symbol) :: Symbol where ...
- data ShowsPrec_6989586621679101166Sym2 (a6989586621679101176 :: Natural) (a6989586621679101177 :: FTReal) :: (~>) Symbol Symbol where
- ShowsPrec_6989586621679101166Sym2KindInference :: SameKind (Apply (ShowsPrec_6989586621679101166Sym2 a6989586621679101176 a6989586621679101177) arg) (ShowsPrec_6989586621679101166Sym3 a6989586621679101176 a6989586621679101177 arg) => ShowsPrec_6989586621679101166Sym2 a6989586621679101176 a6989586621679101177 a6989586621679101178
- data ShowsPrec_6989586621679101166Sym1 (a6989586621679101176 :: Natural) :: (~>) FTReal ((~>) Symbol Symbol) where
- ShowsPrec_6989586621679101166Sym1KindInference :: SameKind (Apply (ShowsPrec_6989586621679101166Sym1 a6989586621679101176) arg) (ShowsPrec_6989586621679101166Sym2 a6989586621679101176 arg) => ShowsPrec_6989586621679101166Sym1 a6989586621679101176 a6989586621679101177
- data ShowsPrec_6989586621679101166Sym0 :: (~>) Natural ((~>) FTReal ((~>) Symbol Symbol)) where
- ShowsPrec_6989586621679101166Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679101166Sym0 arg) (ShowsPrec_6989586621679101166Sym1 arg) => ShowsPrec_6989586621679101166Sym0 a6989586621679101176
- data SFTReal :: FTReal -> Type where
- type family FTRealCombine k1 k2 where ...
Documentation
Instances
type family FTReal4Sym0 :: FTReal where ... Source #
type family FTReal8Sym0 :: FTReal where ... Source #
type family TFHelper_6989586621679097586Sym2 (a6989586621679097591 :: FTReal) (a6989586621679097592 :: FTReal) :: Bool where ... Source #
TFHelper_6989586621679097586Sym2 a6989586621679097591 a6989586621679097592 = TFHelper_6989586621679097586 a6989586621679097591 a6989586621679097592 |
data TFHelper_6989586621679097586Sym1 (a6989586621679097591 :: FTReal) :: (~>) FTReal Bool where Source #
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) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Real suppressUnusedWarnings :: () # | |
type Apply (TFHelper_6989586621679097586Sym1 a6989586621679097591 :: TyFun FTReal Bool -> Type) (a6989586621679097592 :: FTReal) Source # | |
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 Source #
TFHelper_6989586621679097586Sym0KindInference :: SameKind (Apply TFHelper_6989586621679097586Sym0 arg) (TFHelper_6989586621679097586Sym1 arg) => TFHelper_6989586621679097586Sym0 a6989586621679097591 |
Instances
SuppressUnusedWarnings TFHelper_6989586621679097586Sym0 Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Real suppressUnusedWarnings :: () # | |
type Apply TFHelper_6989586621679097586Sym0 (a6989586621679097591 :: FTReal) Source # | |
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 ... Source #
type family Compare_6989586621679098627Sym2 (a6989586621679098632 :: FTReal) (a6989586621679098633 :: FTReal) :: Ordering where ... Source #
Compare_6989586621679098627Sym2 a6989586621679098632 a6989586621679098633 = Compare_6989586621679098627 a6989586621679098632 a6989586621679098633 |
data Compare_6989586621679098627Sym1 (a6989586621679098632 :: FTReal) :: (~>) FTReal Ordering where Source #
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) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Real suppressUnusedWarnings :: () # | |
type Apply (Compare_6989586621679098627Sym1 a6989586621679098632 :: TyFun FTReal Ordering -> Type) (a6989586621679098633 :: FTReal) Source # | |
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 Source #
Compare_6989586621679098627Sym0KindInference :: SameKind (Apply Compare_6989586621679098627Sym0 arg) (Compare_6989586621679098627Sym1 arg) => Compare_6989586621679098627Sym0 a6989586621679098632 |
Instances
SuppressUnusedWarnings Compare_6989586621679098627Sym0 Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Real suppressUnusedWarnings :: () # | |
type Apply Compare_6989586621679098627Sym0 (a6989586621679098632 :: FTReal) Source # | |
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 ... Source #
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 ... Source #
ShowsPrec_6989586621679101166Sym3 a6989586621679101176 a6989586621679101177 a6989586621679101178 = ShowsPrec_6989586621679101166 a6989586621679101176 a6989586621679101177 a6989586621679101178 |
data ShowsPrec_6989586621679101166Sym2 (a6989586621679101176 :: Natural) (a6989586621679101177 :: FTReal) :: (~>) Symbol Symbol where Source #
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) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Real suppressUnusedWarnings :: () # | |
type Apply (ShowsPrec_6989586621679101166Sym2 a6989586621679101176 a6989586621679101177 :: TyFun Symbol Symbol -> Type) (a6989586621679101178 :: Symbol) Source # | |
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 Source #
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) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Real suppressUnusedWarnings :: () # | |
type Apply (ShowsPrec_6989586621679101166Sym1 a6989586621679101176 :: TyFun FTReal (Symbol ~> Symbol) -> Type) (a6989586621679101177 :: FTReal) Source # | |
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 Source #
ShowsPrec_6989586621679101166Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679101166Sym0 arg) (ShowsPrec_6989586621679101166Sym1 arg) => ShowsPrec_6989586621679101166Sym0 a6989586621679101176 |
Instances
SuppressUnusedWarnings ShowsPrec_6989586621679101166Sym0 Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Real suppressUnusedWarnings :: () # | |
type Apply ShowsPrec_6989586621679101166Sym0 (a6989586621679101176 :: Natural) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Real type Apply ShowsPrec_6989586621679101166Sym0 (a6989586621679101176 :: Natural) = ShowsPrec_6989586621679101166Sym1 a6989586621679101176 |
data SFTReal :: FTReal -> Type where Source #
Instances
TestCoercion SFTReal Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Real | |
TestEquality SFTReal Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Real | |
Show (SFTReal z) Source # | |
type family FTRealCombine k1 k2 where ... Source #
Get the output type from combining two real values of arbitrary kinds (for
example, adding a REAL(4)
and a REAL(8)
).
FTRealCombine 'FTReal8 _ = 'FTReal8 | |
FTRealCombine _ 'FTReal8 = 'FTReal8 | |
FTRealCombine 'FTReal4 'FTReal4 = 'FTReal4 |