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_6989586621679394002Sym0

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_6989586621679394002Sym1 a6989586621679394007 :: TyFun Precision Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (PrecMaxSym1 a6989586621679392779 :: 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_6989586621679394018 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_6989586621679394002Sym0 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_6989586621679394002Sym1 a6989586621679394007 :: TyFun Precision Ordering -> Type) (a6989586621679394008 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679394002Sym1 a6989586621679394007 :: TyFun Precision Ordering -> Type) (a6989586621679394008 :: Precision) = Compare_6989586621679394002Sym2 a6989586621679394007 a6989586621679394008

type Apply (PrecMaxSym1 a6989586621679392779 :: TyFun Precision Precision -> Type) (a6989586621679392780 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (PrecMaxSym1 a6989586621679392779 :: TyFun Precision Precision -> Type) (a6989586621679392780 :: Precision) = PrecMaxSym2 a6989586621679392779 a6989586621679392780

type Apply Compare_6989586621679394002Sym0 (a6989586621679394007 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679394002Sym0 (a6989586621679394007 :: Precision) = Compare_6989586621679394002Sym1 a6989586621679394007

type Apply PrecMaxSym0 (a6989586621679392779 :: Precision)

Defined in Language.Fortran.Model.Singletons

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

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_6989586621679394011Sym0

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_6989586621679394011Sym1 a6989586621679394016 :: TyFun BasicType Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (BasicTypeMaxSym1 a6989586621679392768 :: 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_6989586621679394022 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_6989586621679394011Sym0 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_6989586621679394011Sym1 a6989586621679394016 :: TyFun BasicType Ordering -> Type) (a6989586621679394017 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679394011Sym1 a6989586621679394016 :: TyFun BasicType Ordering -> Type) (a6989586621679394017 :: BasicType) = Compare_6989586621679394011Sym2 a6989586621679394016 a6989586621679394017

type Apply (BasicTypeMaxSym1 a6989586621679392768 :: TyFun BasicType BasicType -> Type) (a6989586621679392769 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (BasicTypeMaxSym1 a6989586621679392768 :: TyFun BasicType BasicType -> Type) (a6989586621679392769 :: BasicType) = BasicTypeMaxSym2 a6989586621679392768 a6989586621679392769

type Apply Compare_6989586621679394011Sym0 (a6989586621679394016 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679394011Sym0 (a6989586621679394016 :: BasicType) = Compare_6989586621679394011Sym1 a6989586621679394016

type Apply BasicTypeMaxSym0 (a6989586621679392768 :: BasicType)

Defined in Language.Fortran.Model.Singletons

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

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_6989586621679392761 a_6989586621679392763 = Apply (Apply MaxSym0 a_6989586621679392761) a_6989586621679392763

type BasicTypeMaxSym2 (a6989586621679392768 :: BasicType) (a6989586621679392769 :: BasicType) = BasicTypeMax a6989586621679392768 a6989586621679392769 :: BasicType

data BasicTypeMaxSym1 a6989586621679392768 a6989586621679392769 where

Constructors

BasicTypeMaxSym1KindInference :: SameKind (Apply (BasicTypeMaxSym1 a6989586621679392768) arg) (BasicTypeMaxSym2 a6989586621679392768 arg) => BasicTypeMaxSym1 a6989586621679392768 a6989586621679392769

Instances

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

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing (BasicTypeMaxSym1 d)

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

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (BasicTypeMaxSym1 a6989586621679392768 :: TyFun BasicType BasicType -> Type) (a6989586621679392769 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (BasicTypeMaxSym1 a6989586621679392768 :: TyFun BasicType BasicType -> Type) (a6989586621679392769 :: BasicType) = BasicTypeMaxSym2 a6989586621679392768 a6989586621679392769

data BasicTypeMaxSym0 a6989586621679392768 where

Constructors

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

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

Defined in Language.Fortran.Model.Singletons

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

type family PrecMax a a where ...

Equations

PrecMax a_6989586621679392772 a_6989586621679392774 = Apply (Apply MaxSym0 a_6989586621679392772) a_6989586621679392774

type PrecMaxSym2 (a6989586621679392779 :: Precision) (a6989586621679392780 :: Precision) = PrecMax a6989586621679392779 a6989586621679392780 :: Precision

data PrecMaxSym1 a6989586621679392779 a6989586621679392780 where

Constructors

PrecMaxSym1KindInference :: SameKind (Apply (PrecMaxSym1 a6989586621679392779) arg) (PrecMaxSym2 a6989586621679392779 arg) => PrecMaxSym1 a6989586621679392779 a6989586621679392780

Instances

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

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing (PrecMaxSym1 d)

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

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (PrecMaxSym1 a6989586621679392779 :: TyFun Precision Precision -> Type) (a6989586621679392780 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (PrecMaxSym1 a6989586621679392779 :: TyFun Precision Precision -> Type) (a6989586621679392780 :: Precision) = PrecMaxSym2 a6989586621679392779 a6989586621679392780

data PrecMaxSym0 a6989586621679392779 where

Constructors

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

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

Defined in Language.Fortran.Model.Singletons

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

type family Compare_6989586621679394002 a a where ...

Equations

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

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

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

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

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

Compare_6989586621679394002 P8 P16 = LTSym0

Compare_6989586621679394002 P8 P32 = LTSym0

Compare_6989586621679394002 P8 P64 = LTSym0

Compare_6989586621679394002 P8 P128 = LTSym0

Compare_6989586621679394002 P16 P8 = GTSym0

Compare_6989586621679394002 P16 P32 = LTSym0

Compare_6989586621679394002 P16 P64 = LTSym0

Compare_6989586621679394002 P16 P128 = LTSym0

Compare_6989586621679394002 P32 P8 = GTSym0

Compare_6989586621679394002 P32 P16 = GTSym0

Compare_6989586621679394002 P32 P64 = LTSym0

Compare_6989586621679394002 P32 P128 = LTSym0

Compare_6989586621679394002 P64 P8 = GTSym0

Compare_6989586621679394002 P64 P16 = GTSym0

Compare_6989586621679394002 P64 P32 = GTSym0

Compare_6989586621679394002 P64 P128 = LTSym0

Compare_6989586621679394002 P128 P8 = GTSym0

Compare_6989586621679394002 P128 P16 = GTSym0

Compare_6989586621679394002 P128 P32 = GTSym0

Compare_6989586621679394002 P128 P64 = GTSym0

type Compare_6989586621679394002Sym2 (a6989586621679394007 :: Precision) (a6989586621679394008 :: Precision) = Compare_6989586621679394002 a6989586621679394007 a6989586621679394008 :: Ordering

data Compare_6989586621679394002Sym1 a6989586621679394007 a6989586621679394008 where

Constructors

Compare_6989586621679394002Sym1KindInference :: SameKind (Apply (Compare_6989586621679394002Sym1 a6989586621679394007) arg) (Compare_6989586621679394002Sym2 a6989586621679394007 arg) => Compare_6989586621679394002Sym1 a6989586621679394007 a6989586621679394008

Instances

SuppressUnusedWarnings (Compare_6989586621679394002Sym1 a6989586621679394007 :: TyFun Precision Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Compare_6989586621679394002Sym1 a6989586621679394007 :: TyFun Precision Ordering -> Type) (a6989586621679394008 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679394002Sym1 a6989586621679394007 :: TyFun Precision Ordering -> Type) (a6989586621679394008 :: Precision) = Compare_6989586621679394002Sym2 a6989586621679394007 a6989586621679394008

data Compare_6989586621679394002Sym0 a6989586621679394007 where

Constructors

Compare_6989586621679394002Sym0KindInference :: SameKind (Apply Compare_6989586621679394002Sym0 arg) (Compare_6989586621679394002Sym1 arg) => Compare_6989586621679394002Sym0 a6989586621679394007

Instances

SuppressUnusedWarnings Compare_6989586621679394002Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply Compare_6989586621679394002Sym0 (a6989586621679394007 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679394002Sym0 (a6989586621679394007 :: Precision) = Compare_6989586621679394002Sym1 a6989586621679394007

type family Compare_6989586621679394011 a a where ...

Equations

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

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

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

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

Compare_6989586621679394011 BTInt BTReal = LTSym0

Compare_6989586621679394011 BTInt BTLogical = LTSym0

Compare_6989586621679394011 BTInt BTChar = LTSym0

Compare_6989586621679394011 BTReal BTInt = GTSym0

Compare_6989586621679394011 BTReal BTLogical = LTSym0

Compare_6989586621679394011 BTReal BTChar = LTSym0

Compare_6989586621679394011 BTLogical BTInt = GTSym0

Compare_6989586621679394011 BTLogical BTReal = GTSym0

Compare_6989586621679394011 BTLogical BTChar = LTSym0

Compare_6989586621679394011 BTChar BTInt = GTSym0

Compare_6989586621679394011 BTChar BTReal = GTSym0

Compare_6989586621679394011 BTChar BTLogical = GTSym0

type Compare_6989586621679394011Sym2 (a6989586621679394016 :: BasicType) (a6989586621679394017 :: BasicType) = Compare_6989586621679394011 a6989586621679394016 a6989586621679394017 :: Ordering

data Compare_6989586621679394011Sym1 a6989586621679394016 a6989586621679394017 where

Constructors

Compare_6989586621679394011Sym1KindInference :: SameKind (Apply (Compare_6989586621679394011Sym1 a6989586621679394016) arg) (Compare_6989586621679394011Sym2 a6989586621679394016 arg) => Compare_6989586621679394011Sym1 a6989586621679394016 a6989586621679394017

Instances

SuppressUnusedWarnings (Compare_6989586621679394011Sym1 a6989586621679394016 :: TyFun BasicType Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Compare_6989586621679394011Sym1 a6989586621679394016 :: TyFun BasicType Ordering -> Type) (a6989586621679394017 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679394011Sym1 a6989586621679394016 :: TyFun BasicType Ordering -> Type) (a6989586621679394017 :: BasicType) = Compare_6989586621679394011Sym2 a6989586621679394016 a6989586621679394017

data Compare_6989586621679394011Sym0 a6989586621679394016 where

Constructors

Compare_6989586621679394011Sym0KindInference :: SameKind (Apply Compare_6989586621679394011Sym0 arg) (Compare_6989586621679394011Sym1 arg) => Compare_6989586621679394011Sym0 a6989586621679394016

Instances

SuppressUnusedWarnings Compare_6989586621679394011Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply Compare_6989586621679394011Sym0 (a6989586621679394016 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679394011Sym0 (a6989586621679394016 :: BasicType) = Compare_6989586621679394011Sym1 a6989586621679394016

type family Equals_6989586621679394018 a b where ...

Equations

Equals_6989586621679394018 P8 P8 = TrueSym0

Equals_6989586621679394018 P16 P16 = TrueSym0

Equals_6989586621679394018 P32 P32 = TrueSym0

Equals_6989586621679394018 P64 P64 = TrueSym0

Equals_6989586621679394018 P128 P128 = TrueSym0

Equals_6989586621679394018 (_ :: Precision) (_ :: Precision) = FalseSym0

type family Equals_6989586621679394022 a b where ...

Equations

Equals_6989586621679394022 BTInt BTInt = TrueSym0

Equals_6989586621679394022 BTReal BTReal = TrueSym0

Equals_6989586621679394022 BTLogical BTLogical = TrueSym0

Equals_6989586621679394022 BTChar BTChar = TrueSym0

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