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_6989586621679388653Sym0

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_6989586621679388653Sym1 a6989586621679388658 :: TyFun Precision Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (PrecMaxSym1 a6989586621679387430 :: 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_6989586621679388669 a b

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

Defined in Language.Fortran.Model.Singletons

type (arg :: Precision) < (arg1 :: Precision) = Apply (Apply (TFHelper_6989586621679836879Sym0 :: 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_6989586621679836895Sym0 :: 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_6989586621679836911Sym0 :: 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_6989586621679836927Sym0 :: 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_6989586621679388653Sym0 a1) a2

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

Defined in Language.Fortran.Model.Singletons

type Max (arg :: Precision) (arg1 :: Precision) = Apply (Apply (Max_6989586621679836943Sym0 :: 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_6989586621679836959Sym0 :: TyFun Precision (Precision ~> Precision) -> Type) arg) arg1

type Apply (Compare_6989586621679388653Sym1 a6989586621679388658 :: TyFun Precision Ordering -> Type) (a6989586621679388659 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679388653Sym1 a6989586621679388658 :: TyFun Precision Ordering -> Type) (a6989586621679388659 :: Precision) = Compare_6989586621679388653Sym2 a6989586621679388658 a6989586621679388659

type Apply (PrecMaxSym1 a6989586621679387430 :: TyFun Precision Precision -> Type) (a6989586621679387431 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (PrecMaxSym1 a6989586621679387430 :: TyFun Precision Precision -> Type) (a6989586621679387431 :: Precision) = PrecMaxSym2 a6989586621679387430 a6989586621679387431

type Apply Compare_6989586621679388653Sym0 (a6989586621679388658 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679388653Sym0 (a6989586621679388658 :: Precision) = Compare_6989586621679388653Sym1 a6989586621679388658

type Apply PrecMaxSym0 (a6989586621679387430 :: Precision)

Defined in Language.Fortran.Model.Singletons

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

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_6989586621679388662Sym0

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_6989586621679388662Sym1 a6989586621679388667 :: TyFun BasicType Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (BasicTypeMaxSym1 a6989586621679387419 :: 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_6989586621679388673 a b

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

Defined in Language.Fortran.Model.Singletons

type (arg :: BasicType) < (arg1 :: BasicType) = Apply (Apply (TFHelper_6989586621679836879Sym0 :: 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_6989586621679836895Sym0 :: 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_6989586621679836911Sym0 :: 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_6989586621679836927Sym0 :: 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_6989586621679388662Sym0 a1) a2

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

Defined in Language.Fortran.Model.Singletons

type Max (arg :: BasicType) (arg1 :: BasicType) = Apply (Apply (Max_6989586621679836943Sym0 :: 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_6989586621679836959Sym0 :: TyFun BasicType (BasicType ~> BasicType) -> Type) arg) arg1

type Apply (Compare_6989586621679388662Sym1 a6989586621679388667 :: TyFun BasicType Ordering -> Type) (a6989586621679388668 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679388662Sym1 a6989586621679388667 :: TyFun BasicType Ordering -> Type) (a6989586621679388668 :: BasicType) = Compare_6989586621679388662Sym2 a6989586621679388667 a6989586621679388668

type Apply (BasicTypeMaxSym1 a6989586621679387419 :: TyFun BasicType BasicType -> Type) (a6989586621679387420 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (BasicTypeMaxSym1 a6989586621679387419 :: TyFun BasicType BasicType -> Type) (a6989586621679387420 :: BasicType) = BasicTypeMaxSym2 a6989586621679387419 a6989586621679387420

type Apply Compare_6989586621679388662Sym0 (a6989586621679388667 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679388662Sym0 (a6989586621679388667 :: BasicType) = Compare_6989586621679388662Sym1 a6989586621679388667

type Apply BasicTypeMaxSym0 (a6989586621679387419 :: BasicType)

Defined in Language.Fortran.Model.Singletons

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

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_6989586621679387412 a_6989586621679387414 = Apply (Apply MaxSym0 a_6989586621679387412) a_6989586621679387414

type BasicTypeMaxSym2 (a6989586621679387419 :: BasicType) (a6989586621679387420 :: BasicType) = BasicTypeMax a6989586621679387419 a6989586621679387420 :: BasicType

data BasicTypeMaxSym1 a6989586621679387419 a6989586621679387420 where

Constructors

BasicTypeMaxSym1KindInference :: SameKind (Apply (BasicTypeMaxSym1 a6989586621679387419) arg) (BasicTypeMaxSym2 a6989586621679387419 arg) => BasicTypeMaxSym1 a6989586621679387419 a6989586621679387420

Instances

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

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing (BasicTypeMaxSym1 d)

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

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (BasicTypeMaxSym1 a6989586621679387419 :: TyFun BasicType BasicType -> Type) (a6989586621679387420 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (BasicTypeMaxSym1 a6989586621679387419 :: TyFun BasicType BasicType -> Type) (a6989586621679387420 :: BasicType) = BasicTypeMaxSym2 a6989586621679387419 a6989586621679387420

data BasicTypeMaxSym0 a6989586621679387419 where

Constructors

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

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 (a6989586621679387419 :: BasicType)

Defined in Language.Fortran.Model.Singletons

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

type family PrecMax a a where ...

Equations

PrecMax a_6989586621679387423 a_6989586621679387425 = Apply (Apply MaxSym0 a_6989586621679387423) a_6989586621679387425

type PrecMaxSym2 (a6989586621679387430 :: Precision) (a6989586621679387431 :: Precision) = PrecMax a6989586621679387430 a6989586621679387431 :: Precision

data PrecMaxSym1 a6989586621679387430 a6989586621679387431 where

Constructors

PrecMaxSym1KindInference :: SameKind (Apply (PrecMaxSym1 a6989586621679387430) arg) (PrecMaxSym2 a6989586621679387430 arg) => PrecMaxSym1 a6989586621679387430 a6989586621679387431

Instances

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

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing (PrecMaxSym1 d)

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

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (PrecMaxSym1 a6989586621679387430 :: TyFun Precision Precision -> Type) (a6989586621679387431 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (PrecMaxSym1 a6989586621679387430 :: TyFun Precision Precision -> Type) (a6989586621679387431 :: Precision) = PrecMaxSym2 a6989586621679387430 a6989586621679387431

data PrecMaxSym0 a6989586621679387430 where

Constructors

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

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 (a6989586621679387430 :: Precision)

Defined in Language.Fortran.Model.Singletons

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

type family Compare_6989586621679388653 a a where ...

Equations

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

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

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

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

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

Compare_6989586621679388653 P8 P16 = LTSym0

Compare_6989586621679388653 P8 P32 = LTSym0

Compare_6989586621679388653 P8 P64 = LTSym0

Compare_6989586621679388653 P8 P128 = LTSym0

Compare_6989586621679388653 P16 P8 = GTSym0

Compare_6989586621679388653 P16 P32 = LTSym0

Compare_6989586621679388653 P16 P64 = LTSym0

Compare_6989586621679388653 P16 P128 = LTSym0

Compare_6989586621679388653 P32 P8 = GTSym0

Compare_6989586621679388653 P32 P16 = GTSym0

Compare_6989586621679388653 P32 P64 = LTSym0

Compare_6989586621679388653 P32 P128 = LTSym0

Compare_6989586621679388653 P64 P8 = GTSym0

Compare_6989586621679388653 P64 P16 = GTSym0

Compare_6989586621679388653 P64 P32 = GTSym0

Compare_6989586621679388653 P64 P128 = LTSym0

Compare_6989586621679388653 P128 P8 = GTSym0

Compare_6989586621679388653 P128 P16 = GTSym0

Compare_6989586621679388653 P128 P32 = GTSym0

Compare_6989586621679388653 P128 P64 = GTSym0

type Compare_6989586621679388653Sym2 (a6989586621679388658 :: Precision) (a6989586621679388659 :: Precision) = Compare_6989586621679388653 a6989586621679388658 a6989586621679388659 :: Ordering

data Compare_6989586621679388653Sym1 a6989586621679388658 a6989586621679388659 where

Constructors

Compare_6989586621679388653Sym1KindInference :: SameKind (Apply (Compare_6989586621679388653Sym1 a6989586621679388658) arg) (Compare_6989586621679388653Sym2 a6989586621679388658 arg) => Compare_6989586621679388653Sym1 a6989586621679388658 a6989586621679388659

Instances

SuppressUnusedWarnings (Compare_6989586621679388653Sym1 a6989586621679388658 :: TyFun Precision Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Compare_6989586621679388653Sym1 a6989586621679388658 :: TyFun Precision Ordering -> Type) (a6989586621679388659 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679388653Sym1 a6989586621679388658 :: TyFun Precision Ordering -> Type) (a6989586621679388659 :: Precision) = Compare_6989586621679388653Sym2 a6989586621679388658 a6989586621679388659

data Compare_6989586621679388653Sym0 a6989586621679388658 where

Constructors

Compare_6989586621679388653Sym0KindInference :: SameKind (Apply Compare_6989586621679388653Sym0 arg) (Compare_6989586621679388653Sym1 arg) => Compare_6989586621679388653Sym0 a6989586621679388658

Instances

SuppressUnusedWarnings Compare_6989586621679388653Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply Compare_6989586621679388653Sym0 (a6989586621679388658 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679388653Sym0 (a6989586621679388658 :: Precision) = Compare_6989586621679388653Sym1 a6989586621679388658

type family Compare_6989586621679388662 a a where ...

Equations

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

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

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

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

Compare_6989586621679388662 BTInt BTReal = LTSym0

Compare_6989586621679388662 BTInt BTLogical = LTSym0

Compare_6989586621679388662 BTInt BTChar = LTSym0

Compare_6989586621679388662 BTReal BTInt = GTSym0

Compare_6989586621679388662 BTReal BTLogical = LTSym0

Compare_6989586621679388662 BTReal BTChar = LTSym0

Compare_6989586621679388662 BTLogical BTInt = GTSym0

Compare_6989586621679388662 BTLogical BTReal = GTSym0

Compare_6989586621679388662 BTLogical BTChar = LTSym0

Compare_6989586621679388662 BTChar BTInt = GTSym0

Compare_6989586621679388662 BTChar BTReal = GTSym0

Compare_6989586621679388662 BTChar BTLogical = GTSym0

type Compare_6989586621679388662Sym2 (a6989586621679388667 :: BasicType) (a6989586621679388668 :: BasicType) = Compare_6989586621679388662 a6989586621679388667 a6989586621679388668 :: Ordering

data Compare_6989586621679388662Sym1 a6989586621679388667 a6989586621679388668 where

Constructors

Compare_6989586621679388662Sym1KindInference :: SameKind (Apply (Compare_6989586621679388662Sym1 a6989586621679388667) arg) (Compare_6989586621679388662Sym2 a6989586621679388667 arg) => Compare_6989586621679388662Sym1 a6989586621679388667 a6989586621679388668

Instances

SuppressUnusedWarnings (Compare_6989586621679388662Sym1 a6989586621679388667 :: TyFun BasicType Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Compare_6989586621679388662Sym1 a6989586621679388667 :: TyFun BasicType Ordering -> Type) (a6989586621679388668 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679388662Sym1 a6989586621679388667 :: TyFun BasicType Ordering -> Type) (a6989586621679388668 :: BasicType) = Compare_6989586621679388662Sym2 a6989586621679388667 a6989586621679388668

data Compare_6989586621679388662Sym0 a6989586621679388667 where

Constructors

Compare_6989586621679388662Sym0KindInference :: SameKind (Apply Compare_6989586621679388662Sym0 arg) (Compare_6989586621679388662Sym1 arg) => Compare_6989586621679388662Sym0 a6989586621679388667

Instances

SuppressUnusedWarnings Compare_6989586621679388662Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply Compare_6989586621679388662Sym0 (a6989586621679388667 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679388662Sym0 (a6989586621679388667 :: BasicType) = Compare_6989586621679388662Sym1 a6989586621679388667

type family Equals_6989586621679388669 a b where ...

Equations

Equals_6989586621679388669 P8 P8 = TrueSym0

Equals_6989586621679388669 P16 P16 = TrueSym0

Equals_6989586621679388669 P32 P32 = TrueSym0

Equals_6989586621679388669 P64 P64 = TrueSym0

Equals_6989586621679388669 P128 P128 = TrueSym0

Equals_6989586621679388669 (_ :: Precision) (_ :: Precision) = FalseSym0

type family Equals_6989586621679388673 a b where ...

Equations

Equals_6989586621679388673 BTInt BTInt = TrueSym0

Equals_6989586621679388673 BTReal BTReal = TrueSym0

Equals_6989586621679388673 BTLogical BTLogical = TrueSym0

Equals_6989586621679388673 BTChar BTChar = TrueSym0

Equals_6989586621679388673 (_ :: 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