Language.Fortran.Model.Singletons

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

data Precision

Constructors

P8

P16

P32

P64

P128

Instances

Eq Precision

Defined in Language.Fortran.Model.Singletons

Methods

(==) :: Precision -> Precision -> Bool

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

Ord Precision

Defined in Language.Fortran.Model.Singletons

Methods

compare :: Precision -> Precision -> Ordering

(<) :: Precision -> Precision -> Bool

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

(>) :: Precision -> Precision -> Bool

(>=) :: Precision -> Precision -> Bool

max :: Precision -> Precision -> Precision

min :: Precision -> Precision -> Precision

Show Precision

Defined in Language.Fortran.Model.Singletons

Methods

showsPrec :: Int -> Precision -> ShowS

show :: Precision -> String

showList :: [Precision] -> ShowS

SingKind Precision

Defined in Language.Fortran.Model.Singletons

Associated Types

type Demote Precision = (r :: Type)

Methods

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

toSing :: Demote Precision -> SomeSing Precision

PEq Precision

Defined in Language.Fortran.Model.Singletons

Associated Types

type x == y :: Bool

type x /= y :: Bool

SEq Precision

Defined in Language.Fortran.Model.Singletons

Methods

(%==) :: forall (a :: Precision) (b :: Precision). Sing a -> Sing b -> Sing (a == b)

(%/=) :: forall (a :: Precision) (b :: Precision). Sing a -> Sing b -> Sing (a /= b)

POrd Precision

Defined in Language.Fortran.Model.Singletons

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 Precision

Defined in Language.Fortran.Model.Singletons

Methods

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

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

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

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

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

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

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

SDecide Precision

Defined in Language.Fortran.Model.Singletons

Methods

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

TestCoercion SPrecision

Defined in Language.Fortran.Model.Singletons

Methods

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

TestEquality SPrecision

Defined in Language.Fortran.Model.Singletons

Methods

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

SingI 'P8

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'P8

SingI 'P16

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'P16

SingI 'P32

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'P32

SingI 'P64

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'P64

SingI 'P128

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'P128

SingI PrecMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing PrecMaxSym0

SuppressUnusedWarnings Compare_6989586621679394027Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings PrecMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (PrecMaxSym1 d :: TyFun Precision Precision -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing (PrecMaxSym1 d)

SuppressUnusedWarnings (Compare_6989586621679394027Sym1 a6989586621679394032 :: TyFun Precision Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (PrecMaxSym1 a6989586621679392804 :: TyFun Precision Precision -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Demote Precision

Defined in Language.Fortran.Model.Singletons

type Demote Precision = Precision

type Sing

Defined in Language.Fortran.Model.Singletons

type Sing = SPrecision

type (x :: Precision) /= (y :: Precision)

Defined in Language.Fortran.Model.Singletons

type (x :: Precision) /= (y :: Precision) = Not (x == y)

type (a :: Precision) == (b :: Precision)

Defined in Language.Fortran.Model.Singletons

type (a :: Precision) == (b :: Precision) = Equals_6989586621679394043 a b

type (arg :: Precision) < (arg1 :: Precision)

Defined in Language.Fortran.Model.Singletons

type (arg :: Precision) < (arg1 :: Precision) = Apply (Apply (TFHelper_6989586621679837407Sym0 :: TyFun Precision (Precision ~> Bool) -> Type) arg) arg1

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

Defined in Language.Fortran.Model.Singletons

type (arg :: Precision) <= (arg1 :: Precision) = Apply (Apply (TFHelper_6989586621679837423Sym0 :: TyFun Precision (Precision ~> Bool) -> Type) arg) arg1

type (arg :: Precision) > (arg1 :: Precision)

Defined in Language.Fortran.Model.Singletons

type (arg :: Precision) > (arg1 :: Precision) = Apply (Apply (TFHelper_6989586621679837439Sym0 :: TyFun Precision (Precision ~> Bool) -> Type) arg) arg1

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

Defined in Language.Fortran.Model.Singletons

type (arg :: Precision) >= (arg1 :: Precision) = Apply (Apply (TFHelper_6989586621679837455Sym0 :: TyFun Precision (Precision ~> Bool) -> Type) arg) arg1

type Compare (a1 :: Precision) (a2 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Compare (a1 :: Precision) (a2 :: Precision) = Apply (Apply Compare_6989586621679394027Sym0 a1) a2

type Max (arg :: Precision) (arg1 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Max (arg :: Precision) (arg1 :: Precision) = Apply (Apply (Max_6989586621679837471Sym0 :: TyFun Precision (Precision ~> Precision) -> Type) arg) arg1

type Min (arg :: Precision) (arg1 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Min (arg :: Precision) (arg1 :: Precision) = Apply (Apply (Min_6989586621679837487Sym0 :: TyFun Precision (Precision ~> Precision) -> Type) arg) arg1

type Apply (Compare_6989586621679394027Sym1 a6989586621679394032 :: TyFun Precision Ordering -> Type) (a6989586621679394033 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679394027Sym1 a6989586621679394032 :: TyFun Precision Ordering -> Type) (a6989586621679394033 :: Precision) = Compare_6989586621679394027Sym2 a6989586621679394032 a6989586621679394033

type Apply (PrecMaxSym1 a6989586621679392804 :: TyFun Precision Precision -> Type) (a6989586621679392805 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (PrecMaxSym1 a6989586621679392804 :: TyFun Precision Precision -> Type) (a6989586621679392805 :: Precision) = PrecMaxSym2 a6989586621679392804 a6989586621679392805

type Apply Compare_6989586621679394027Sym0 (a6989586621679394032 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679394027Sym0 (a6989586621679394032 :: Precision) = Compare_6989586621679394027Sym1 a6989586621679394032

type Apply PrecMaxSym0 (a6989586621679392804 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply PrecMaxSym0 (a6989586621679392804 :: Precision) = PrecMaxSym1 a6989586621679392804

data BasicType

Constructors

BTInt

BTReal

BTLogical

BTChar

Instances

Eq BasicType

Defined in Language.Fortran.Model.Singletons

Methods

(==) :: BasicType -> BasicType -> Bool

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

Ord BasicType

Defined in Language.Fortran.Model.Singletons

Methods

compare :: BasicType -> BasicType -> Ordering

(<) :: BasicType -> BasicType -> Bool

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

(>) :: BasicType -> BasicType -> Bool

(>=) :: BasicType -> BasicType -> Bool

max :: BasicType -> BasicType -> BasicType

min :: BasicType -> BasicType -> BasicType

Show BasicType

Defined in Language.Fortran.Model.Singletons

Methods

showsPrec :: Int -> BasicType -> ShowS

show :: BasicType -> String

showList :: [BasicType] -> ShowS

SingKind BasicType

Defined in Language.Fortran.Model.Singletons

Associated Types

type Demote BasicType = (r :: Type)

Methods

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

toSing :: Demote BasicType -> SomeSing BasicType

PEq BasicType

Defined in Language.Fortran.Model.Singletons

Associated Types

type x == y :: Bool

type x /= y :: Bool

SEq BasicType

Defined in Language.Fortran.Model.Singletons

Methods

(%==) :: forall (a :: BasicType) (b :: BasicType). Sing a -> Sing b -> Sing (a == b)

(%/=) :: forall (a :: BasicType) (b :: BasicType). Sing a -> Sing b -> Sing (a /= b)

POrd BasicType

Defined in Language.Fortran.Model.Singletons

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 BasicType

Defined in Language.Fortran.Model.Singletons

Methods

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

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

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

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

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

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

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

SDecide BasicType

Defined in Language.Fortran.Model.Singletons

Methods

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

TestCoercion SBasicType

Defined in Language.Fortran.Model.Singletons

Methods

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

TestEquality SBasicType

Defined in Language.Fortran.Model.Singletons

Methods

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

SingI 'BTInt

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'BTInt

SingI 'BTReal

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'BTReal

SingI 'BTLogical

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'BTLogical

SingI 'BTChar

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'BTChar

SingI BasicTypeMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing BasicTypeMaxSym0

SuppressUnusedWarnings Compare_6989586621679394036Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings BasicTypeMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SingI d => SingI (BasicTypeMaxSym1 d :: TyFun BasicType BasicType -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing (BasicTypeMaxSym1 d)

SuppressUnusedWarnings (Compare_6989586621679394036Sym1 a6989586621679394041 :: TyFun BasicType Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (BasicTypeMaxSym1 a6989586621679392793 :: TyFun BasicType BasicType -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Demote BasicType

Defined in Language.Fortran.Model.Singletons

type Demote BasicType = BasicType

type Sing

Defined in Language.Fortran.Model.Singletons

type Sing = SBasicType

type (x :: BasicType) /= (y :: BasicType)

Defined in Language.Fortran.Model.Singletons

type (x :: BasicType) /= (y :: BasicType) = Not (x == y)

type (a :: BasicType) == (b :: BasicType)

Defined in Language.Fortran.Model.Singletons

type (a :: BasicType) == (b :: BasicType) = Equals_6989586621679394047 a b

type (arg :: BasicType) < (arg1 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type (arg :: BasicType) < (arg1 :: BasicType) = Apply (Apply (TFHelper_6989586621679837407Sym0 :: TyFun BasicType (BasicType ~> Bool) -> Type) arg) arg1

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

Defined in Language.Fortran.Model.Singletons

type (arg :: BasicType) <= (arg1 :: BasicType) = Apply (Apply (TFHelper_6989586621679837423Sym0 :: TyFun BasicType (BasicType ~> Bool) -> Type) arg) arg1

type (arg :: BasicType) > (arg1 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type (arg :: BasicType) > (arg1 :: BasicType) = Apply (Apply (TFHelper_6989586621679837439Sym0 :: TyFun BasicType (BasicType ~> Bool) -> Type) arg) arg1

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

Defined in Language.Fortran.Model.Singletons

type (arg :: BasicType) >= (arg1 :: BasicType) = Apply (Apply (TFHelper_6989586621679837455Sym0 :: TyFun BasicType (BasicType ~> Bool) -> Type) arg) arg1

type Compare (a1 :: BasicType) (a2 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Compare (a1 :: BasicType) (a2 :: BasicType) = Apply (Apply Compare_6989586621679394036Sym0 a1) a2

type Max (arg :: BasicType) (arg1 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Max (arg :: BasicType) (arg1 :: BasicType) = Apply (Apply (Max_6989586621679837471Sym0 :: TyFun BasicType (BasicType ~> BasicType) -> Type) arg) arg1

type Min (arg :: BasicType) (arg1 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Min (arg :: BasicType) (arg1 :: BasicType) = Apply (Apply (Min_6989586621679837487Sym0 :: TyFun BasicType (BasicType ~> BasicType) -> Type) arg) arg1

type Apply (Compare_6989586621679394036Sym1 a6989586621679394041 :: TyFun BasicType Ordering -> Type) (a6989586621679394042 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679394036Sym1 a6989586621679394041 :: TyFun BasicType Ordering -> Type) (a6989586621679394042 :: BasicType) = Compare_6989586621679394036Sym2 a6989586621679394041 a6989586621679394042

type Apply (BasicTypeMaxSym1 a6989586621679392793 :: TyFun BasicType BasicType -> Type) (a6989586621679392794 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (BasicTypeMaxSym1 a6989586621679392793 :: TyFun BasicType BasicType -> Type) (a6989586621679392794 :: BasicType) = BasicTypeMaxSym2 a6989586621679392793 a6989586621679392794

type Apply Compare_6989586621679394036Sym0 (a6989586621679394041 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679394036Sym0 (a6989586621679394041 :: BasicType) = Compare_6989586621679394036Sym1 a6989586621679394041

type Apply BasicTypeMaxSym0 (a6989586621679392793 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply BasicTypeMaxSym0 (a6989586621679392793 :: BasicType) = BasicTypeMaxSym1 a6989586621679392793

data OpKind

Constructors

OKLit

OKNum

OKEq

OKRel

OKLogical

OKLookup

OKDeref

OKWriteArr

OKWriteData

Instances

Eq OpKind

Defined in Language.Fortran.Model.Singletons

Methods

(==) :: OpKind -> OpKind -> Bool

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

Ord OpKind

Defined in Language.Fortran.Model.Singletons

Methods

compare :: OpKind -> OpKind -> Ordering

(<) :: OpKind -> OpKind -> Bool

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

(>) :: OpKind -> OpKind -> Bool

(>=) :: OpKind -> OpKind -> Bool

max :: OpKind -> OpKind -> OpKind

min :: OpKind -> OpKind -> OpKind

Show OpKind

Defined in Language.Fortran.Model.Singletons

Methods

showsPrec :: Int -> OpKind -> ShowS

show :: OpKind -> String

showList :: [OpKind] -> ShowS

SingKind OpKind

Defined in Language.Fortran.Model.Singletons

Associated Types

type Demote OpKind = (r :: Type)

Methods

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

toSing :: Demote OpKind -> SomeSing OpKind

SingI 'OKLit

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKLit

SingI 'OKNum

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKNum

SingI 'OKEq

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKEq

SingI 'OKRel

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKRel

SingI 'OKLogical

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKLogical

SingI 'OKLookup

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKLookup

SingI 'OKDeref

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKDeref

SingI 'OKWriteArr

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKWriteArr

SingI 'OKWriteData

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKWriteData

type Demote OpKind

Defined in Language.Fortran.Model.Singletons

type Demote OpKind = OpKind

type Sing

Defined in Language.Fortran.Model.Singletons

type Sing = SOpKind

type P8Sym0 = P8 :: Precision

type P16Sym0 = P16 :: Precision

type P32Sym0 = P32 :: Precision

type P64Sym0 = P64 :: Precision

type P128Sym0 = P128 :: Precision

type BTIntSym0 = BTInt :: BasicType

type BTRealSym0 = BTReal :: BasicType

type BTLogicalSym0 = BTLogical :: BasicType

type BTCharSym0 = BTChar :: BasicType

type OKLitSym0 = OKLit :: OpKind

type OKNumSym0 = OKNum :: OpKind

type OKEqSym0 = OKEq :: OpKind

type OKRelSym0 = OKRel :: OpKind

type OKLogicalSym0 = OKLogical :: OpKind

type OKLookupSym0 = OKLookup :: OpKind

type OKDerefSym0 = OKDeref :: OpKind

type OKWriteArrSym0 = OKWriteArr :: OpKind

type OKWriteDataSym0 = OKWriteData :: OpKind

type family BasicTypeMax a a where ...

Equations

BasicTypeMax a_6989586621679392786 a_6989586621679392788 = Apply (Apply MaxSym0 a_6989586621679392786) a_6989586621679392788

type BasicTypeMaxSym2 (a6989586621679392793 :: BasicType) (a6989586621679392794 :: BasicType) = BasicTypeMax a6989586621679392793 a6989586621679392794 :: BasicType

data BasicTypeMaxSym1 a6989586621679392793 a6989586621679392794 where

Constructors

BasicTypeMaxSym1KindInference :: SameKind (Apply (BasicTypeMaxSym1 a6989586621679392793) arg) (BasicTypeMaxSym2 a6989586621679392793 arg) => BasicTypeMaxSym1 a6989586621679392793 a6989586621679392794

Instances

SingI d => SingI (BasicTypeMaxSym1 d :: TyFun BasicType BasicType -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing (BasicTypeMaxSym1 d)

SuppressUnusedWarnings (BasicTypeMaxSym1 a6989586621679392793 :: TyFun BasicType BasicType -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (BasicTypeMaxSym1 a6989586621679392793 :: TyFun BasicType BasicType -> Type) (a6989586621679392794 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (BasicTypeMaxSym1 a6989586621679392793 :: TyFun BasicType BasicType -> Type) (a6989586621679392794 :: BasicType) = BasicTypeMaxSym2 a6989586621679392793 a6989586621679392794

data BasicTypeMaxSym0 a6989586621679392793 where

Constructors

BasicTypeMaxSym0KindInference :: SameKind (Apply BasicTypeMaxSym0 arg) (BasicTypeMaxSym1 arg) => BasicTypeMaxSym0 a6989586621679392793

Instances

SingI BasicTypeMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing BasicTypeMaxSym0

SuppressUnusedWarnings BasicTypeMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply BasicTypeMaxSym0 (a6989586621679392793 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply BasicTypeMaxSym0 (a6989586621679392793 :: BasicType) = BasicTypeMaxSym1 a6989586621679392793

type family PrecMax a a where ...

Equations

PrecMax a_6989586621679392797 a_6989586621679392799 = Apply (Apply MaxSym0 a_6989586621679392797) a_6989586621679392799

type PrecMaxSym2 (a6989586621679392804 :: Precision) (a6989586621679392805 :: Precision) = PrecMax a6989586621679392804 a6989586621679392805 :: Precision

data PrecMaxSym1 a6989586621679392804 a6989586621679392805 where

Constructors

PrecMaxSym1KindInference :: SameKind (Apply (PrecMaxSym1 a6989586621679392804) arg) (PrecMaxSym2 a6989586621679392804 arg) => PrecMaxSym1 a6989586621679392804 a6989586621679392805

Instances

SingI d => SingI (PrecMaxSym1 d :: TyFun Precision Precision -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing (PrecMaxSym1 d)

SuppressUnusedWarnings (PrecMaxSym1 a6989586621679392804 :: TyFun Precision Precision -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (PrecMaxSym1 a6989586621679392804 :: TyFun Precision Precision -> Type) (a6989586621679392805 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (PrecMaxSym1 a6989586621679392804 :: TyFun Precision Precision -> Type) (a6989586621679392805 :: Precision) = PrecMaxSym2 a6989586621679392804 a6989586621679392805

data PrecMaxSym0 a6989586621679392804 where

Constructors

PrecMaxSym0KindInference :: SameKind (Apply PrecMaxSym0 arg) (PrecMaxSym1 arg) => PrecMaxSym0 a6989586621679392804

Instances

SingI PrecMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing PrecMaxSym0

SuppressUnusedWarnings PrecMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply PrecMaxSym0 (a6989586621679392804 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply PrecMaxSym0 (a6989586621679392804 :: Precision) = PrecMaxSym1 a6989586621679392804

type family Compare_6989586621679394027 a a where ...

Equations

Compare_6989586621679394027 P8 P8 = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) NilSym0

Compare_6989586621679394027 P16 P16 = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) NilSym0

Compare_6989586621679394027 P32 P32 = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) NilSym0

Compare_6989586621679394027 P64 P64 = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) NilSym0

Compare_6989586621679394027 P128 P128 = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) NilSym0

Compare_6989586621679394027 P8 P16 = LTSym0

Compare_6989586621679394027 P8 P32 = LTSym0

Compare_6989586621679394027 P8 P64 = LTSym0

Compare_6989586621679394027 P8 P128 = LTSym0

Compare_6989586621679394027 P16 P8 = GTSym0

Compare_6989586621679394027 P16 P32 = LTSym0

Compare_6989586621679394027 P16 P64 = LTSym0

Compare_6989586621679394027 P16 P128 = LTSym0

Compare_6989586621679394027 P32 P8 = GTSym0

Compare_6989586621679394027 P32 P16 = GTSym0

Compare_6989586621679394027 P32 P64 = LTSym0

Compare_6989586621679394027 P32 P128 = LTSym0

Compare_6989586621679394027 P64 P8 = GTSym0

Compare_6989586621679394027 P64 P16 = GTSym0

Compare_6989586621679394027 P64 P32 = GTSym0

Compare_6989586621679394027 P64 P128 = LTSym0

Compare_6989586621679394027 P128 P8 = GTSym0

Compare_6989586621679394027 P128 P16 = GTSym0

Compare_6989586621679394027 P128 P32 = GTSym0

Compare_6989586621679394027 P128 P64 = GTSym0

type Compare_6989586621679394027Sym2 (a6989586621679394032 :: Precision) (a6989586621679394033 :: Precision) = Compare_6989586621679394027 a6989586621679394032 a6989586621679394033 :: Ordering

data Compare_6989586621679394027Sym1 a6989586621679394032 a6989586621679394033 where

Constructors

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)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Compare_6989586621679394027Sym1 a6989586621679394032 :: TyFun Precision Ordering -> Type) (a6989586621679394033 :: Precision)

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

Constructors

Compare_6989586621679394027Sym0KindInference :: SameKind (Apply Compare_6989586621679394027Sym0 arg) (Compare_6989586621679394027Sym1 arg) => Compare_6989586621679394027Sym0 a6989586621679394032

Instances

SuppressUnusedWarnings Compare_6989586621679394027Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply Compare_6989586621679394027Sym0 (a6989586621679394032 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679394027Sym0 (a6989586621679394032 :: Precision) = Compare_6989586621679394027Sym1 a6989586621679394032

type family Compare_6989586621679394036 a a where ...

Equations

Compare_6989586621679394036 BTInt BTInt = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) NilSym0

Compare_6989586621679394036 BTReal BTReal = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) NilSym0

Compare_6989586621679394036 BTLogical BTLogical = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) NilSym0

Compare_6989586621679394036 BTChar BTChar = Apply (Apply (Apply FoldlSym0 ThenCmpSym0) EQSym0) NilSym0

Compare_6989586621679394036 BTInt BTReal = LTSym0

Compare_6989586621679394036 BTInt BTLogical = LTSym0

Compare_6989586621679394036 BTInt BTChar = LTSym0

Compare_6989586621679394036 BTReal BTInt = GTSym0

Compare_6989586621679394036 BTReal BTLogical = LTSym0

Compare_6989586621679394036 BTReal BTChar = LTSym0

Compare_6989586621679394036 BTLogical BTInt = GTSym0

Compare_6989586621679394036 BTLogical BTReal = GTSym0

Compare_6989586621679394036 BTLogical BTChar = LTSym0

Compare_6989586621679394036 BTChar BTInt = GTSym0

Compare_6989586621679394036 BTChar BTReal = GTSym0

Compare_6989586621679394036 BTChar BTLogical = GTSym0

type Compare_6989586621679394036Sym2 (a6989586621679394041 :: BasicType) (a6989586621679394042 :: BasicType) = Compare_6989586621679394036 a6989586621679394041 a6989586621679394042 :: Ordering

data Compare_6989586621679394036Sym1 a6989586621679394041 a6989586621679394042 where

Constructors

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)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Compare_6989586621679394036Sym1 a6989586621679394041 :: TyFun BasicType Ordering -> Type) (a6989586621679394042 :: BasicType)

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

Constructors

Compare_6989586621679394036Sym0KindInference :: SameKind (Apply Compare_6989586621679394036Sym0 arg) (Compare_6989586621679394036Sym1 arg) => Compare_6989586621679394036Sym0 a6989586621679394041

Instances

SuppressUnusedWarnings Compare_6989586621679394036Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply Compare_6989586621679394036Sym0 (a6989586621679394041 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679394036Sym0 (a6989586621679394041 :: BasicType) = Compare_6989586621679394036Sym1 a6989586621679394041

type family Equals_6989586621679394043 a b where ...

Equations

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 ...

Equations

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

Constructors

SP8 :: SPrecision (P8 :: Precision)

SP16 :: SPrecision (P16 :: Precision)

SP32 :: SPrecision (P32 :: Precision)

SP64 :: SPrecision (P64 :: Precision)

SP128 :: SPrecision (P128 :: Precision)

Instances

TestCoercion SPrecision

Defined in Language.Fortran.Model.Singletons

Methods

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

TestEquality SPrecision

Defined in Language.Fortran.Model.Singletons

Methods

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

data SBasicType :: BasicType -> Type where

Constructors

SBTInt :: SBasicType (BTInt :: BasicType)

SBTReal :: SBasicType (BTReal :: BasicType)

SBTLogical :: SBasicType (BTLogical :: BasicType)

SBTChar :: SBasicType (BTChar :: BasicType)

Instances

TestCoercion SBasicType

Defined in Language.Fortran.Model.Singletons

Methods

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

TestEquality SBasicType

Defined in Language.Fortran.Model.Singletons

Methods

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

data SOpKind :: OpKind -> Type where

Constructors

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)

sBasicTypeMax :: forall (t :: BasicType) (t :: BasicType). Sing t -> Sing t -> Sing (Apply (Apply BasicTypeMaxSym0 t) t :: BasicType)

basicTypeMax :: BasicType -> BasicType -> BasicType

precMax :: Precision -> Precision -> Precision