Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data FTInt
- type family FTInt1Sym0 :: FTInt where ...
- type family FTInt2Sym0 :: FTInt where ...
- type family FTInt4Sym0 :: FTInt where ...
- type family FTInt8Sym0 :: FTInt where ...
- type family FTInt16Sym0 :: FTInt where ...
- type family TFHelper_6989586621679161561 (a :: FTInt) (a :: FTInt) :: Bool where ...
- type family TFHelper_6989586621679161561Sym2 (a6989586621679161566 :: FTInt) (a6989586621679161567 :: FTInt) :: Bool where ...
- data TFHelper_6989586621679161561Sym1 (a6989586621679161566 :: FTInt) :: (~>) FTInt Bool where
- TFHelper_6989586621679161561Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679161561Sym1 a6989586621679161566) arg) (TFHelper_6989586621679161561Sym2 a6989586621679161566 arg) => TFHelper_6989586621679161561Sym1 a6989586621679161566 a6989586621679161567
- data TFHelper_6989586621679161561Sym0 :: (~>) FTInt ((~>) FTInt Bool) where
- TFHelper_6989586621679161561Sym0KindInference :: SameKind (Apply TFHelper_6989586621679161561Sym0 arg) (TFHelper_6989586621679161561Sym1 arg) => TFHelper_6989586621679161561Sym0 a6989586621679161566
- type family Compare_6989586621679161570 (a :: FTInt) (a :: FTInt) :: Ordering where ...
- type family Compare_6989586621679161570Sym2 (a6989586621679161575 :: FTInt) (a6989586621679161576 :: FTInt) :: Ordering where ...
- data Compare_6989586621679161570Sym1 (a6989586621679161575 :: FTInt) :: (~>) FTInt Ordering where
- Compare_6989586621679161570Sym1KindInference :: SameKind (Apply (Compare_6989586621679161570Sym1 a6989586621679161575) arg) (Compare_6989586621679161570Sym2 a6989586621679161575 arg) => Compare_6989586621679161570Sym1 a6989586621679161575 a6989586621679161576
- data Compare_6989586621679161570Sym0 :: (~>) FTInt ((~>) FTInt Ordering) where
- Compare_6989586621679161570Sym0KindInference :: SameKind (Apply Compare_6989586621679161570Sym0 arg) (Compare_6989586621679161570Sym1 arg) => Compare_6989586621679161570Sym0 a6989586621679161575
- type family ShowsPrec_6989586621679161580 (a :: Natural) (a :: FTInt) (a :: Symbol) :: Symbol where ...
- type family ShowsPrec_6989586621679161580Sym3 (a6989586621679161596 :: Natural) (a6989586621679161597 :: FTInt) (a6989586621679161598 :: Symbol) :: Symbol where ...
- data ShowsPrec_6989586621679161580Sym2 (a6989586621679161596 :: Natural) (a6989586621679161597 :: FTInt) :: (~>) Symbol Symbol where
- ShowsPrec_6989586621679161580Sym2KindInference :: SameKind (Apply (ShowsPrec_6989586621679161580Sym2 a6989586621679161596 a6989586621679161597) arg) (ShowsPrec_6989586621679161580Sym3 a6989586621679161596 a6989586621679161597 arg) => ShowsPrec_6989586621679161580Sym2 a6989586621679161596 a6989586621679161597 a6989586621679161598
- data ShowsPrec_6989586621679161580Sym1 (a6989586621679161596 :: Natural) :: (~>) FTInt ((~>) Symbol Symbol) where
- ShowsPrec_6989586621679161580Sym1KindInference :: SameKind (Apply (ShowsPrec_6989586621679161580Sym1 a6989586621679161596) arg) (ShowsPrec_6989586621679161580Sym2 a6989586621679161596 arg) => ShowsPrec_6989586621679161580Sym1 a6989586621679161596 a6989586621679161597
- data ShowsPrec_6989586621679161580Sym0 :: (~>) Natural ((~>) FTInt ((~>) Symbol Symbol)) where
- ShowsPrec_6989586621679161580Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679161580Sym0 arg) (ShowsPrec_6989586621679161580Sym1 arg) => ShowsPrec_6989586621679161580Sym0 a6989586621679161596
- data SFTInt :: FTInt -> Type where
- type family FTIntCombine k1 k2 where ...
- type family FTIntMax k where ...
- type family FTIntMin k where ...
Documentation
Instances
type family FTInt1Sym0 :: FTInt where ... Source #
type family FTInt2Sym0 :: FTInt where ... Source #
type family FTInt4Sym0 :: FTInt where ... Source #
type family FTInt8Sym0 :: FTInt where ... Source #
type family FTInt16Sym0 :: FTInt where ... Source #
type family TFHelper_6989586621679161561 (a :: FTInt) (a :: FTInt) :: Bool where ... Source #
type family TFHelper_6989586621679161561Sym2 (a6989586621679161566 :: FTInt) (a6989586621679161567 :: FTInt) :: Bool where ... Source #
TFHelper_6989586621679161561Sym2 a6989586621679161566 a6989586621679161567 = TFHelper_6989586621679161561 a6989586621679161566 a6989586621679161567 |
data TFHelper_6989586621679161561Sym1 (a6989586621679161566 :: FTInt) :: (~>) FTInt Bool where Source #
TFHelper_6989586621679161561Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679161561Sym1 a6989586621679161566) arg) (TFHelper_6989586621679161561Sym2 a6989586621679161566 arg) => TFHelper_6989586621679161561Sym1 a6989586621679161566 a6989586621679161567 |
Instances
SuppressUnusedWarnings (TFHelper_6989586621679161561Sym1 a6989586621679161566 :: TyFun FTInt Bool -> Type) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int suppressUnusedWarnings :: () # | |
type Apply (TFHelper_6989586621679161561Sym1 a6989586621679161566 :: TyFun FTInt Bool -> Type) (a6989586621679161567 :: FTInt) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int type Apply (TFHelper_6989586621679161561Sym1 a6989586621679161566 :: TyFun FTInt Bool -> Type) (a6989586621679161567 :: FTInt) = TFHelper_6989586621679161561 a6989586621679161566 a6989586621679161567 |
data TFHelper_6989586621679161561Sym0 :: (~>) FTInt ((~>) FTInt Bool) where Source #
TFHelper_6989586621679161561Sym0KindInference :: SameKind (Apply TFHelper_6989586621679161561Sym0 arg) (TFHelper_6989586621679161561Sym1 arg) => TFHelper_6989586621679161561Sym0 a6989586621679161566 |
Instances
SuppressUnusedWarnings TFHelper_6989586621679161561Sym0 Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int suppressUnusedWarnings :: () # | |
type Apply TFHelper_6989586621679161561Sym0 (a6989586621679161566 :: FTInt) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int type Apply TFHelper_6989586621679161561Sym0 (a6989586621679161566 :: FTInt) = TFHelper_6989586621679161561Sym1 a6989586621679161566 |
type family Compare_6989586621679161570 (a :: FTInt) (a :: FTInt) :: Ordering where ... Source #
type family Compare_6989586621679161570Sym2 (a6989586621679161575 :: FTInt) (a6989586621679161576 :: FTInt) :: Ordering where ... Source #
Compare_6989586621679161570Sym2 a6989586621679161575 a6989586621679161576 = Compare_6989586621679161570 a6989586621679161575 a6989586621679161576 |
data Compare_6989586621679161570Sym1 (a6989586621679161575 :: FTInt) :: (~>) FTInt Ordering where Source #
Compare_6989586621679161570Sym1KindInference :: SameKind (Apply (Compare_6989586621679161570Sym1 a6989586621679161575) arg) (Compare_6989586621679161570Sym2 a6989586621679161575 arg) => Compare_6989586621679161570Sym1 a6989586621679161575 a6989586621679161576 |
Instances
SuppressUnusedWarnings (Compare_6989586621679161570Sym1 a6989586621679161575 :: TyFun FTInt Ordering -> Type) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int suppressUnusedWarnings :: () # | |
type Apply (Compare_6989586621679161570Sym1 a6989586621679161575 :: TyFun FTInt Ordering -> Type) (a6989586621679161576 :: FTInt) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int type Apply (Compare_6989586621679161570Sym1 a6989586621679161575 :: TyFun FTInt Ordering -> Type) (a6989586621679161576 :: FTInt) = Compare_6989586621679161570 a6989586621679161575 a6989586621679161576 |
data Compare_6989586621679161570Sym0 :: (~>) FTInt ((~>) FTInt Ordering) where Source #
Compare_6989586621679161570Sym0KindInference :: SameKind (Apply Compare_6989586621679161570Sym0 arg) (Compare_6989586621679161570Sym1 arg) => Compare_6989586621679161570Sym0 a6989586621679161575 |
Instances
SuppressUnusedWarnings Compare_6989586621679161570Sym0 Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int suppressUnusedWarnings :: () # | |
type Apply Compare_6989586621679161570Sym0 (a6989586621679161575 :: FTInt) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int type Apply Compare_6989586621679161570Sym0 (a6989586621679161575 :: FTInt) = Compare_6989586621679161570Sym1 a6989586621679161575 |
type family ShowsPrec_6989586621679161580 (a :: Natural) (a :: FTInt) (a :: Symbol) :: Symbol where ... Source #
ShowsPrec_6989586621679161580 _ FTInt1 a_6989586621679161582 = Apply (Apply ShowStringSym0 "FTInt1") a_6989586621679161582 | |
ShowsPrec_6989586621679161580 _ FTInt2 a_6989586621679161584 = Apply (Apply ShowStringSym0 "FTInt2") a_6989586621679161584 | |
ShowsPrec_6989586621679161580 _ FTInt4 a_6989586621679161586 = Apply (Apply ShowStringSym0 "FTInt4") a_6989586621679161586 | |
ShowsPrec_6989586621679161580 _ FTInt8 a_6989586621679161588 = Apply (Apply ShowStringSym0 "FTInt8") a_6989586621679161588 | |
ShowsPrec_6989586621679161580 _ FTInt16 a_6989586621679161590 = Apply (Apply ShowStringSym0 "FTInt16") a_6989586621679161590 |
type family ShowsPrec_6989586621679161580Sym3 (a6989586621679161596 :: Natural) (a6989586621679161597 :: FTInt) (a6989586621679161598 :: Symbol) :: Symbol where ... Source #
ShowsPrec_6989586621679161580Sym3 a6989586621679161596 a6989586621679161597 a6989586621679161598 = ShowsPrec_6989586621679161580 a6989586621679161596 a6989586621679161597 a6989586621679161598 |
data ShowsPrec_6989586621679161580Sym2 (a6989586621679161596 :: Natural) (a6989586621679161597 :: FTInt) :: (~>) Symbol Symbol where Source #
ShowsPrec_6989586621679161580Sym2KindInference :: SameKind (Apply (ShowsPrec_6989586621679161580Sym2 a6989586621679161596 a6989586621679161597) arg) (ShowsPrec_6989586621679161580Sym3 a6989586621679161596 a6989586621679161597 arg) => ShowsPrec_6989586621679161580Sym2 a6989586621679161596 a6989586621679161597 a6989586621679161598 |
Instances
SuppressUnusedWarnings (ShowsPrec_6989586621679161580Sym2 a6989586621679161596 a6989586621679161597 :: TyFun Symbol Symbol -> Type) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int suppressUnusedWarnings :: () # | |
type Apply (ShowsPrec_6989586621679161580Sym2 a6989586621679161596 a6989586621679161597 :: TyFun Symbol Symbol -> Type) (a6989586621679161598 :: Symbol) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int type Apply (ShowsPrec_6989586621679161580Sym2 a6989586621679161596 a6989586621679161597 :: TyFun Symbol Symbol -> Type) (a6989586621679161598 :: Symbol) = ShowsPrec_6989586621679161580 a6989586621679161596 a6989586621679161597 a6989586621679161598 |
data ShowsPrec_6989586621679161580Sym1 (a6989586621679161596 :: Natural) :: (~>) FTInt ((~>) Symbol Symbol) where Source #
ShowsPrec_6989586621679161580Sym1KindInference :: SameKind (Apply (ShowsPrec_6989586621679161580Sym1 a6989586621679161596) arg) (ShowsPrec_6989586621679161580Sym2 a6989586621679161596 arg) => ShowsPrec_6989586621679161580Sym1 a6989586621679161596 a6989586621679161597 |
Instances
SuppressUnusedWarnings (ShowsPrec_6989586621679161580Sym1 a6989586621679161596 :: TyFun FTInt (Symbol ~> Symbol) -> Type) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int suppressUnusedWarnings :: () # | |
type Apply (ShowsPrec_6989586621679161580Sym1 a6989586621679161596 :: TyFun FTInt (Symbol ~> Symbol) -> Type) (a6989586621679161597 :: FTInt) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int type Apply (ShowsPrec_6989586621679161580Sym1 a6989586621679161596 :: TyFun FTInt (Symbol ~> Symbol) -> Type) (a6989586621679161597 :: FTInt) = ShowsPrec_6989586621679161580Sym2 a6989586621679161596 a6989586621679161597 |
data ShowsPrec_6989586621679161580Sym0 :: (~>) Natural ((~>) FTInt ((~>) Symbol Symbol)) where Source #
ShowsPrec_6989586621679161580Sym0KindInference :: SameKind (Apply ShowsPrec_6989586621679161580Sym0 arg) (ShowsPrec_6989586621679161580Sym1 arg) => ShowsPrec_6989586621679161580Sym0 a6989586621679161596 |
Instances
SuppressUnusedWarnings ShowsPrec_6989586621679161580Sym0 Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int suppressUnusedWarnings :: () # | |
type Apply ShowsPrec_6989586621679161580Sym0 (a6989586621679161596 :: Natural) Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int type Apply ShowsPrec_6989586621679161580Sym0 (a6989586621679161596 :: Natural) = ShowsPrec_6989586621679161580Sym1 a6989586621679161596 |
data SFTInt :: FTInt -> Type where Source #
SFTInt1 :: SFTInt (FTInt1 :: FTInt) | |
SFTInt2 :: SFTInt (FTInt2 :: FTInt) | |
SFTInt4 :: SFTInt (FTInt4 :: FTInt) | |
SFTInt8 :: SFTInt (FTInt8 :: FTInt) | |
SFTInt16 :: SFTInt (FTInt16 :: FTInt) |
Instances
TestCoercion SFTInt Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int | |
TestEquality SFTInt Source # | |
Defined in Language.Fortran.Repr.Type.Scalar.Int | |
Show (SFTInt z) Source # | |
type family FTIntCombine k1 k2 where ... Source #
Get the output type from combining two integer values of arbitrary kinds
(for example, adding an INTEGER(1)
and an INTEGER(4)
).
TODO is this OK?? the k k = k
equation at top???
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 | |
FTIntCombine 'FTInt1 'FTInt1 = 'FTInt1 |