Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data kinds and corresponding singletons (via the singletons
library) for kinds
used in various places in Language.Fortran.Model.
As documentation in Template Haskell is not yet supported, documentation for each data type is given here.
Precision
The precision, in bits, of an intrinsic Fortran data type.
BasicType
The basic type of an intrinsic Fortran data type.
OpKind
TODO
precMax
Finds the maximum of two precisions. Use PrecMax
at the type level and sPrecMax
for singletons.
basicTypeMax
Finds the 'largest' (with respect to the size of the set it semantically
represents) of numeric basic types. Also works with non-numeric basic types, but
the result in that case is unspecified. Use BasicTypeMax
at the type level and
sBasicTypeMax
for singletons.
Documentation
Instances
Instances
Instances
Eq OpKind Source # | |
Ord OpKind Source # | |
Show OpKind Source # | |
SingKind OpKind Source # | |
SingI 'OKLit Source # | |
Defined in Language.Fortran.Model.Singletons | |
SingI 'OKNum Source # | |
Defined in Language.Fortran.Model.Singletons | |
SingI 'OKEq Source # | |
Defined in Language.Fortran.Model.Singletons | |
SingI 'OKRel Source # | |
Defined in Language.Fortran.Model.Singletons | |
SingI 'OKLogical Source # | |
Defined in Language.Fortran.Model.Singletons | |
SingI 'OKLookup Source # | |
Defined in Language.Fortran.Model.Singletons | |
SingI 'OKDeref Source # | |
Defined in Language.Fortran.Model.Singletons | |
SingI 'OKWriteArr Source # | |
Defined in Language.Fortran.Model.Singletons sing :: Sing 'OKWriteArr | |
SingI 'OKWriteData Source # | |
Defined in Language.Fortran.Model.Singletons sing :: Sing 'OKWriteData | |
type Demote OpKind Source # | |
Defined in Language.Fortran.Model.Singletons | |
type Sing Source # | |
Defined in Language.Fortran.Model.Singletons type Sing = SOpKind |
type BTRealSym0 = BTReal :: BasicType Source #
type BTLogicalSym0 = BTLogical :: BasicType Source #
type BTCharSym0 = BTChar :: BasicType Source #
type OKLogicalSym0 = OKLogical :: OpKind Source #
type OKLookupSym0 = OKLookup :: OpKind Source #
type OKDerefSym0 = OKDeref :: OpKind Source #
type OKWriteArrSym0 = OKWriteArr :: OpKind Source #
type OKWriteDataSym0 = OKWriteData :: OpKind Source #
type family BasicTypeMax a a where ... Source #
BasicTypeMax a_6989586621679392786 a_6989586621679392788 = Apply (Apply MaxSym0 a_6989586621679392786) a_6989586621679392788 |
type BasicTypeMaxSym2 (a6989586621679392793 :: BasicType) (a6989586621679392794 :: BasicType) = BasicTypeMax a6989586621679392793 a6989586621679392794 :: BasicType Source #
data BasicTypeMaxSym1 a6989586621679392793 a6989586621679392794 where Source #
BasicTypeMaxSym1KindInference :: SameKind (Apply (BasicTypeMaxSym1 a6989586621679392793) arg) (BasicTypeMaxSym2 a6989586621679392793 arg) => BasicTypeMaxSym1 a6989586621679392793 a6989586621679392794 |
Instances
SingI d => SingI (BasicTypeMaxSym1 d :: TyFun BasicType BasicType -> Type) Source # | |
Defined in Language.Fortran.Model.Singletons sing :: Sing (BasicTypeMaxSym1 d) | |
SuppressUnusedWarnings (BasicTypeMaxSym1 a6989586621679392793 :: TyFun BasicType BasicType -> Type) Source # | |
Defined in Language.Fortran.Model.Singletons suppressUnusedWarnings :: () | |
type Apply (BasicTypeMaxSym1 a6989586621679392793 :: TyFun BasicType BasicType -> Type) (a6989586621679392794 :: BasicType) Source # | |
Defined in Language.Fortran.Model.Singletons type Apply (BasicTypeMaxSym1 a6989586621679392793 :: TyFun BasicType BasicType -> Type) (a6989586621679392794 :: BasicType) = BasicTypeMaxSym2 a6989586621679392793 a6989586621679392794 |
data BasicTypeMaxSym0 a6989586621679392793 where Source #
BasicTypeMaxSym0KindInference :: SameKind (Apply BasicTypeMaxSym0 arg) (BasicTypeMaxSym1 arg) => BasicTypeMaxSym0 a6989586621679392793 |
Instances
SingI BasicTypeMaxSym0 Source # | |
Defined in Language.Fortran.Model.Singletons sing :: Sing BasicTypeMaxSym0 | |
SuppressUnusedWarnings BasicTypeMaxSym0 Source # | |
Defined in Language.Fortran.Model.Singletons suppressUnusedWarnings :: () | |
type Apply BasicTypeMaxSym0 (a6989586621679392793 :: BasicType) Source # | |
Defined in Language.Fortran.Model.Singletons type Apply BasicTypeMaxSym0 (a6989586621679392793 :: BasicType) = BasicTypeMaxSym1 a6989586621679392793 |
type family PrecMax a a where ... Source #
PrecMax a_6989586621679392797 a_6989586621679392799 = Apply (Apply MaxSym0 a_6989586621679392797) a_6989586621679392799 |
type PrecMaxSym2 (a6989586621679392804 :: Precision) (a6989586621679392805 :: Precision) = PrecMax a6989586621679392804 a6989586621679392805 :: Precision Source #
data PrecMaxSym1 a6989586621679392804 a6989586621679392805 where Source #
PrecMaxSym1KindInference :: SameKind (Apply (PrecMaxSym1 a6989586621679392804) arg) (PrecMaxSym2 a6989586621679392804 arg) => PrecMaxSym1 a6989586621679392804 a6989586621679392805 |
Instances
SingI d => SingI (PrecMaxSym1 d :: TyFun Precision Precision -> Type) Source # | |
Defined in Language.Fortran.Model.Singletons sing :: Sing (PrecMaxSym1 d) | |
SuppressUnusedWarnings (PrecMaxSym1 a6989586621679392804 :: TyFun Precision Precision -> Type) Source # | |
Defined in Language.Fortran.Model.Singletons suppressUnusedWarnings :: () | |
type Apply (PrecMaxSym1 a6989586621679392804 :: TyFun Precision Precision -> Type) (a6989586621679392805 :: Precision) Source # | |
Defined in Language.Fortran.Model.Singletons type Apply (PrecMaxSym1 a6989586621679392804 :: TyFun Precision Precision -> Type) (a6989586621679392805 :: Precision) = PrecMaxSym2 a6989586621679392804 a6989586621679392805 |
data PrecMaxSym0 a6989586621679392804 where Source #
PrecMaxSym0KindInference :: SameKind (Apply PrecMaxSym0 arg) (PrecMaxSym1 arg) => PrecMaxSym0 a6989586621679392804 |
Instances
SingI PrecMaxSym0 Source # | |
Defined in Language.Fortran.Model.Singletons sing :: Sing PrecMaxSym0 | |
SuppressUnusedWarnings PrecMaxSym0 Source # | |
Defined in Language.Fortran.Model.Singletons suppressUnusedWarnings :: () | |
type Apply PrecMaxSym0 (a6989586621679392804 :: Precision) Source # | |
Defined in Language.Fortran.Model.Singletons |
type family Compare_6989586621679394027 a a where ... Source #
type Compare_6989586621679394027Sym2 (a6989586621679394032 :: Precision) (a6989586621679394033 :: Precision) = Compare_6989586621679394027 a6989586621679394032 a6989586621679394033 :: Ordering Source #
data Compare_6989586621679394027Sym1 a6989586621679394032 a6989586621679394033 where Source #
Compare_6989586621679394027Sym1KindInference :: SameKind (Apply (Compare_6989586621679394027Sym1 a6989586621679394032) arg) (Compare_6989586621679394027Sym2 a6989586621679394032 arg) => Compare_6989586621679394027Sym1 a6989586621679394032 a6989586621679394033 |
Instances
SuppressUnusedWarnings (Compare_6989586621679394027Sym1 a6989586621679394032 :: TyFun Precision Ordering -> Type) Source # | |
Defined in Language.Fortran.Model.Singletons suppressUnusedWarnings :: () | |
type Apply (Compare_6989586621679394027Sym1 a6989586621679394032 :: TyFun Precision Ordering -> Type) (a6989586621679394033 :: Precision) Source # | |
Defined in Language.Fortran.Model.Singletons type Apply (Compare_6989586621679394027Sym1 a6989586621679394032 :: TyFun Precision Ordering -> Type) (a6989586621679394033 :: Precision) = Compare_6989586621679394027Sym2 a6989586621679394032 a6989586621679394033 |
data Compare_6989586621679394027Sym0 a6989586621679394032 where Source #
Compare_6989586621679394027Sym0KindInference :: SameKind (Apply Compare_6989586621679394027Sym0 arg) (Compare_6989586621679394027Sym1 arg) => Compare_6989586621679394027Sym0 a6989586621679394032 |
Instances
SuppressUnusedWarnings Compare_6989586621679394027Sym0 Source # | |
Defined in Language.Fortran.Model.Singletons suppressUnusedWarnings :: () | |
type Apply Compare_6989586621679394027Sym0 (a6989586621679394032 :: Precision) Source # | |
Defined in Language.Fortran.Model.Singletons type Apply Compare_6989586621679394027Sym0 (a6989586621679394032 :: Precision) = Compare_6989586621679394027Sym1 a6989586621679394032 |
type family Compare_6989586621679394036 a a where ... Source #
type Compare_6989586621679394036Sym2 (a6989586621679394041 :: BasicType) (a6989586621679394042 :: BasicType) = Compare_6989586621679394036 a6989586621679394041 a6989586621679394042 :: Ordering Source #
data Compare_6989586621679394036Sym1 a6989586621679394041 a6989586621679394042 where Source #
Compare_6989586621679394036Sym1KindInference :: SameKind (Apply (Compare_6989586621679394036Sym1 a6989586621679394041) arg) (Compare_6989586621679394036Sym2 a6989586621679394041 arg) => Compare_6989586621679394036Sym1 a6989586621679394041 a6989586621679394042 |
Instances
SuppressUnusedWarnings (Compare_6989586621679394036Sym1 a6989586621679394041 :: TyFun BasicType Ordering -> Type) Source # | |
Defined in Language.Fortran.Model.Singletons suppressUnusedWarnings :: () | |
type Apply (Compare_6989586621679394036Sym1 a6989586621679394041 :: TyFun BasicType Ordering -> Type) (a6989586621679394042 :: BasicType) Source # | |
Defined in Language.Fortran.Model.Singletons type Apply (Compare_6989586621679394036Sym1 a6989586621679394041 :: TyFun BasicType Ordering -> Type) (a6989586621679394042 :: BasicType) = Compare_6989586621679394036Sym2 a6989586621679394041 a6989586621679394042 |
data Compare_6989586621679394036Sym0 a6989586621679394041 where Source #
Compare_6989586621679394036Sym0KindInference :: SameKind (Apply Compare_6989586621679394036Sym0 arg) (Compare_6989586621679394036Sym1 arg) => Compare_6989586621679394036Sym0 a6989586621679394041 |
Instances
SuppressUnusedWarnings Compare_6989586621679394036Sym0 Source # | |
Defined in Language.Fortran.Model.Singletons suppressUnusedWarnings :: () | |
type Apply Compare_6989586621679394036Sym0 (a6989586621679394041 :: BasicType) Source # | |
Defined in Language.Fortran.Model.Singletons type Apply Compare_6989586621679394036Sym0 (a6989586621679394041 :: BasicType) = Compare_6989586621679394036Sym1 a6989586621679394041 |
type family Equals_6989586621679394043 a b where ... Source #
Equals_6989586621679394043 P8 P8 = TrueSym0 | |
Equals_6989586621679394043 P16 P16 = TrueSym0 | |
Equals_6989586621679394043 P32 P32 = TrueSym0 | |
Equals_6989586621679394043 P64 P64 = TrueSym0 | |
Equals_6989586621679394043 P128 P128 = TrueSym0 | |
Equals_6989586621679394043 (_ :: Precision) (_ :: Precision) = FalseSym0 |
type family Equals_6989586621679394047 a b where ... Source #
Equals_6989586621679394047 BTInt BTInt = TrueSym0 | |
Equals_6989586621679394047 BTReal BTReal = TrueSym0 | |
Equals_6989586621679394047 BTLogical BTLogical = TrueSym0 | |
Equals_6989586621679394047 BTChar BTChar = TrueSym0 | |
Equals_6989586621679394047 (_ :: BasicType) (_ :: BasicType) = FalseSym0 |
data SPrecision :: Precision -> Type where Source #
SP8 :: SPrecision (P8 :: Precision) | |
SP16 :: SPrecision (P16 :: Precision) | |
SP32 :: SPrecision (P32 :: Precision) | |
SP64 :: SPrecision (P64 :: Precision) | |
SP128 :: SPrecision (P128 :: Precision) |
Instances
TestCoercion SPrecision Source # | |
Defined in Language.Fortran.Model.Singletons testCoercion :: forall (a :: k) (b :: k). SPrecision a -> SPrecision b -> Maybe (Coercion a b) # | |
TestEquality SPrecision Source # | |
Defined in Language.Fortran.Model.Singletons testEquality :: forall (a :: k) (b :: k). SPrecision a -> SPrecision b -> Maybe (a :~: b) # |
data SBasicType :: BasicType -> Type where Source #
SBTInt :: SBasicType (BTInt :: BasicType) | |
SBTReal :: SBasicType (BTReal :: BasicType) | |
SBTLogical :: SBasicType (BTLogical :: BasicType) | |
SBTChar :: SBasicType (BTChar :: BasicType) |
Instances
TestCoercion SBasicType Source # | |
Defined in Language.Fortran.Model.Singletons testCoercion :: forall (a :: k) (b :: k). SBasicType a -> SBasicType b -> Maybe (Coercion a b) # | |
TestEquality SBasicType Source # | |
Defined in Language.Fortran.Model.Singletons testEquality :: forall (a :: k) (b :: k). SBasicType a -> SBasicType b -> Maybe (a :~: b) # |
data SOpKind :: OpKind -> Type where Source #
SOKLit :: SOpKind (OKLit :: OpKind) | |
SOKNum :: SOpKind (OKNum :: OpKind) | |
SOKEq :: SOpKind (OKEq :: OpKind) | |
SOKRel :: SOpKind (OKRel :: OpKind) | |
SOKLogical :: SOpKind (OKLogical :: OpKind) | |
SOKLookup :: SOpKind (OKLookup :: OpKind) | |
SOKDeref :: SOpKind (OKDeref :: OpKind) | |
SOKWriteArr :: SOpKind (OKWriteArr :: OpKind) | |
SOKWriteData :: SOpKind (OKWriteData :: OpKind) |
sPrecMax :: forall (t :: Precision) (t :: Precision). Sing t -> Sing t -> Sing (Apply (Apply PrecMaxSym0 t) t :: Precision) Source #
sBasicTypeMax :: forall (t :: BasicType) (t :: BasicType). Sing t -> Sing t -> Sing (Apply (Apply BasicTypeMaxSym0 t) t :: BasicType) Source #