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

Show Precision

Defined in Language.Fortran.Model.Singletons

Methods

showsPrec :: Int -> Precision -> ShowS

show :: Precision -> String

showList :: [Precision] -> ShowS

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

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

SDecide Precision

Defined in Language.Fortran.Model.Singletons

Methods

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

PEq Precision

Defined in Language.Fortran.Model.Singletons

Associated Types

type arg == arg1 :: Bool

type arg /= arg1 :: Bool

SEq Precision

Defined in Language.Fortran.Model.Singletons

Methods

(%==) :: 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)

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)

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 'P128

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'P128

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 'P8

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'P8

SingI1 PrecMaxSym1

Defined in Language.Fortran.Model.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (PrecMaxSym1 x)

SingI PrecMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing PrecMaxSym0

SuppressUnusedWarnings PrecMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings Compare_6989586621679449533Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings TFHelper_6989586621679448410Sym0

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 (PrecMaxSym1 a6989586621679447047 :: TyFun Precision Precision -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Compare_6989586621679449533Sym1 a6989586621679449538 :: TyFun Precision Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TFHelper_6989586621679448410Sym1 a6989586621679448415 :: TyFun Precision Bool -> 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 (arg :: Precision) /= (arg1 :: Precision)

Defined in Language.Fortran.Model.Singletons

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

type (a1 :: Precision) == (a2 :: Precision)

Defined in Language.Fortran.Model.Singletons

type (a1 :: Precision) == (a2 :: Precision) = Apply (Apply TFHelper_6989586621679448410Sym0 a1) a2

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

Defined in Language.Fortran.Model.Singletons

type (arg :: Precision) < (arg1 :: Precision) = Apply (Apply (TFHelper_6989586621679173585Sym0 :: 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_6989586621679173601Sym0 :: 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_6989586621679173617Sym0 :: 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_6989586621679173633Sym0 :: 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_6989586621679449533Sym0 a1) a2

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

Defined in Language.Fortran.Model.Singletons

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

type Apply (PrecMaxSym1 a6989586621679447047 :: TyFun Precision Precision -> Type) (a6989586621679447048 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (PrecMaxSym1 a6989586621679447047 :: TyFun Precision Precision -> Type) (a6989586621679447048 :: Precision) = PrecMax a6989586621679447047 a6989586621679447048

type Apply (Compare_6989586621679449533Sym1 a6989586621679449538 :: TyFun Precision Ordering -> Type) (a6989586621679449539 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679449533Sym1 a6989586621679449538 :: TyFun Precision Ordering -> Type) (a6989586621679449539 :: Precision) = Compare_6989586621679449533 a6989586621679449538 a6989586621679449539

type Apply (TFHelper_6989586621679448410Sym1 a6989586621679448415 :: TyFun Precision Bool -> Type) (a6989586621679448416 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (TFHelper_6989586621679448410Sym1 a6989586621679448415 :: TyFun Precision Bool -> Type) (a6989586621679448416 :: Precision) = TFHelper_6989586621679448410 a6989586621679448415 a6989586621679448416

type Apply PrecMaxSym0 (a6989586621679447047 :: Precision)

Defined in Language.Fortran.Model.Singletons

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

type Apply Compare_6989586621679449533Sym0 (a6989586621679449538 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679449533Sym0 (a6989586621679449538 :: Precision) = Compare_6989586621679449533Sym1 a6989586621679449538

type Apply TFHelper_6989586621679448410Sym0 (a6989586621679448415 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply TFHelper_6989586621679448410Sym0 (a6989586621679448415 :: Precision) = TFHelper_6989586621679448410Sym1 a6989586621679448415

data BasicType

Constructors

BTInt

BTReal

BTLogical

BTChar

Instances

Show BasicType

Defined in Language.Fortran.Model.Singletons

Methods

showsPrec :: Int -> BasicType -> ShowS

show :: BasicType -> String

showList :: [BasicType] -> ShowS

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

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

SDecide BasicType

Defined in Language.Fortran.Model.Singletons

Methods

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

PEq BasicType

Defined in Language.Fortran.Model.Singletons

Associated Types

type arg == arg1 :: Bool

type arg /= arg1 :: Bool

SEq BasicType

Defined in Language.Fortran.Model.Singletons

Methods

(%==) :: 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)

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)

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 'BTChar

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'BTChar

SingI 'BTInt

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'BTInt

SingI 'BTLogical

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'BTLogical

SingI 'BTReal

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'BTReal

SingI1 BasicTypeMaxSym1

Defined in Language.Fortran.Model.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (BasicTypeMaxSym1 x)

SingI BasicTypeMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing BasicTypeMaxSym0

SuppressUnusedWarnings BasicTypeMaxSym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings Compare_6989586621679449551Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings TFHelper_6989586621679449542Sym0

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 (BasicTypeMaxSym1 a6989586621679447036 :: TyFun BasicType BasicType -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (Compare_6989586621679449551Sym1 a6989586621679449556 :: TyFun BasicType Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

SuppressUnusedWarnings (TFHelper_6989586621679449542Sym1 a6989586621679449547 :: TyFun BasicType Bool -> 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 (arg :: BasicType) /= (arg1 :: BasicType)

Defined in Language.Fortran.Model.Singletons

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

type (a1 :: BasicType) == (a2 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type (a1 :: BasicType) == (a2 :: BasicType) = Apply (Apply TFHelper_6989586621679449542Sym0 a1) a2

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

Defined in Language.Fortran.Model.Singletons

type (arg :: BasicType) < (arg1 :: BasicType) = Apply (Apply (TFHelper_6989586621679173585Sym0 :: 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_6989586621679173601Sym0 :: 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_6989586621679173617Sym0 :: 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_6989586621679173633Sym0 :: 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_6989586621679449551Sym0 a1) a2

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

Defined in Language.Fortran.Model.Singletons

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

type Apply (BasicTypeMaxSym1 a6989586621679447036 :: TyFun BasicType BasicType -> Type) (a6989586621679447037 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (BasicTypeMaxSym1 a6989586621679447036 :: TyFun BasicType BasicType -> Type) (a6989586621679447037 :: BasicType) = BasicTypeMax a6989586621679447036 a6989586621679447037

type Apply (Compare_6989586621679449551Sym1 a6989586621679449556 :: TyFun BasicType Ordering -> Type) (a6989586621679449557 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679449551Sym1 a6989586621679449556 :: TyFun BasicType Ordering -> Type) (a6989586621679449557 :: BasicType) = Compare_6989586621679449551 a6989586621679449556 a6989586621679449557

type Apply (TFHelper_6989586621679449542Sym1 a6989586621679449547 :: TyFun BasicType Bool -> Type) (a6989586621679449548 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (TFHelper_6989586621679449542Sym1 a6989586621679449547 :: TyFun BasicType Bool -> Type) (a6989586621679449548 :: BasicType) = TFHelper_6989586621679449542 a6989586621679449547 a6989586621679449548

type Apply BasicTypeMaxSym0 (a6989586621679447036 :: BasicType)

Defined in Language.Fortran.Model.Singletons

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

type Apply Compare_6989586621679449551Sym0 (a6989586621679449556 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679449551Sym0 (a6989586621679449556 :: BasicType) = Compare_6989586621679449551Sym1 a6989586621679449556

type Apply TFHelper_6989586621679449542Sym0 (a6989586621679449547 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply TFHelper_6989586621679449542Sym0 (a6989586621679449547 :: BasicType) = TFHelper_6989586621679449542Sym1 a6989586621679449547

data OpKind

Constructors

OKLit

OKNum

OKEq

OKRel

OKLogical

OKLookup

OKDeref

OKWriteArr

OKWriteData

Instances

Show OpKind

Defined in Language.Fortran.Model.Singletons

Methods

showsPrec :: Int -> OpKind -> ShowS

show :: OpKind -> String

showList :: [OpKind] -> ShowS

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

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 'OKDeref

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKDeref

SingI 'OKEq

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKEq

SingI 'OKLit

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKLit

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 'OKNum

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKNum

SingI 'OKRel

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing 'OKRel

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 family P8Sym0 :: Precision where ...

Equations

P8Sym0 = P8

type family P16Sym0 :: Precision where ...

Equations

P16Sym0 = P16

type family P32Sym0 :: Precision where ...

Equations

P32Sym0 = P32

type family P64Sym0 :: Precision where ...

Equations

P64Sym0 = P64

type family P128Sym0 :: Precision where ...

Equations

P128Sym0 = P128

type family BTIntSym0 :: BasicType where ...

Equations

BTIntSym0 = BTInt

type family BTRealSym0 :: BasicType where ...

Equations

BTRealSym0 = BTReal

type family BTLogicalSym0 :: BasicType where ...

Equations

BTLogicalSym0 = BTLogical

type family BTCharSym0 :: BasicType where ...

Equations

BTCharSym0 = BTChar

type family OKLitSym0 :: OpKind where ...

Equations

OKLitSym0 = OKLit

type family OKNumSym0 :: OpKind where ...

Equations

OKNumSym0 = OKNum

type family OKEqSym0 :: OpKind where ...

Equations

OKEqSym0 = OKEq

type family OKRelSym0 :: OpKind where ...

Equations

OKRelSym0 = OKRel

type family OKLogicalSym0 :: OpKind where ...

Equations

OKLogicalSym0 = OKLogical

type family OKLookupSym0 :: OpKind where ...

Equations

OKLookupSym0 = OKLookup

type family OKDerefSym0 :: OpKind where ...

Equations

OKDerefSym0 = OKDeref

type family OKWriteArrSym0 :: OpKind where ...

Equations

OKWriteArrSym0 = OKWriteArr

type family OKWriteDataSym0 :: OpKind where ...

Equations

OKWriteDataSym0 = OKWriteData

type family BasicTypeMax (a :: BasicType) (a :: BasicType) :: BasicType where ...

Equations

BasicTypeMax a_6989586621679447029 a_6989586621679447031 = Apply (Apply MaxSym0 a_6989586621679447029) a_6989586621679447031

type family BasicTypeMaxSym2 (a6989586621679447036 :: BasicType) (a6989586621679447037 :: BasicType) :: BasicType where ...

Equations

BasicTypeMaxSym2 a6989586621679447036 a6989586621679447037 = BasicTypeMax a6989586621679447036 a6989586621679447037

data BasicTypeMaxSym1 (a6989586621679447036 :: BasicType) :: (~>) BasicType BasicType where

Constructors

BasicTypeMaxSym1KindInference :: SameKind (Apply (BasicTypeMaxSym1 a6989586621679447036) arg) (BasicTypeMaxSym2 a6989586621679447036 arg) => BasicTypeMaxSym1 a6989586621679447036 a6989586621679447037

Instances

SingI1 BasicTypeMaxSym1

Defined in Language.Fortran.Model.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (BasicTypeMaxSym1 x)

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

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing (BasicTypeMaxSym1 d)

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

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (BasicTypeMaxSym1 a6989586621679447036 :: TyFun BasicType BasicType -> Type) (a6989586621679447037 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (BasicTypeMaxSym1 a6989586621679447036 :: TyFun BasicType BasicType -> Type) (a6989586621679447037 :: BasicType) = BasicTypeMax a6989586621679447036 a6989586621679447037

data BasicTypeMaxSym0 :: (~>) BasicType ((~>) BasicType BasicType) where

Constructors

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

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

Defined in Language.Fortran.Model.Singletons

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

type family PrecMax (a :: Precision) (a :: Precision) :: Precision where ...

Equations

PrecMax a_6989586621679447040 a_6989586621679447042 = Apply (Apply MaxSym0 a_6989586621679447040) a_6989586621679447042

type family PrecMaxSym2 (a6989586621679447047 :: Precision) (a6989586621679447048 :: Precision) :: Precision where ...

Equations

PrecMaxSym2 a6989586621679447047 a6989586621679447048 = PrecMax a6989586621679447047 a6989586621679447048

data PrecMaxSym1 (a6989586621679447047 :: Precision) :: (~>) Precision Precision where

Constructors

PrecMaxSym1KindInference :: SameKind (Apply (PrecMaxSym1 a6989586621679447047) arg) (PrecMaxSym2 a6989586621679447047 arg) => PrecMaxSym1 a6989586621679447047 a6989586621679447048

Instances

SingI1 PrecMaxSym1

Defined in Language.Fortran.Model.Singletons

Methods

liftSing :: forall (x :: k1). Sing x -> Sing (PrecMaxSym1 x)

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

Defined in Language.Fortran.Model.Singletons

Methods

sing :: Sing (PrecMaxSym1 d)

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

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (PrecMaxSym1 a6989586621679447047 :: TyFun Precision Precision -> Type) (a6989586621679447048 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (PrecMaxSym1 a6989586621679447047 :: TyFun Precision Precision -> Type) (a6989586621679447048 :: Precision) = PrecMax a6989586621679447047 a6989586621679447048

data PrecMaxSym0 :: (~>) Precision ((~>) Precision Precision) where

Constructors

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

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

Defined in Language.Fortran.Model.Singletons

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

type family TFHelper_6989586621679448410 (a :: Precision) (a :: Precision) :: Bool where ...

Equations

TFHelper_6989586621679448410 P8 P8 = TrueSym0

TFHelper_6989586621679448410 P8 P16 = FalseSym0

TFHelper_6989586621679448410 P8 P32 = FalseSym0

TFHelper_6989586621679448410 P8 P64 = FalseSym0

TFHelper_6989586621679448410 P8 P128 = FalseSym0

TFHelper_6989586621679448410 P16 P8 = FalseSym0

TFHelper_6989586621679448410 P16 P16 = TrueSym0

TFHelper_6989586621679448410 P16 P32 = FalseSym0

TFHelper_6989586621679448410 P16 P64 = FalseSym0

TFHelper_6989586621679448410 P16 P128 = FalseSym0

TFHelper_6989586621679448410 P32 P8 = FalseSym0

TFHelper_6989586621679448410 P32 P16 = FalseSym0

TFHelper_6989586621679448410 P32 P32 = TrueSym0

TFHelper_6989586621679448410 P32 P64 = FalseSym0

TFHelper_6989586621679448410 P32 P128 = FalseSym0

TFHelper_6989586621679448410 P64 P8 = FalseSym0

TFHelper_6989586621679448410 P64 P16 = FalseSym0

TFHelper_6989586621679448410 P64 P32 = FalseSym0

TFHelper_6989586621679448410 P64 P64 = TrueSym0

TFHelper_6989586621679448410 P64 P128 = FalseSym0

TFHelper_6989586621679448410 P128 P8 = FalseSym0

TFHelper_6989586621679448410 P128 P16 = FalseSym0

TFHelper_6989586621679448410 P128 P32 = FalseSym0

TFHelper_6989586621679448410 P128 P64 = FalseSym0

TFHelper_6989586621679448410 P128 P128 = TrueSym0

type family TFHelper_6989586621679448410Sym2 (a6989586621679448415 :: Precision) (a6989586621679448416 :: Precision) :: Bool where ...

Equations

TFHelper_6989586621679448410Sym2 a6989586621679448415 a6989586621679448416 = TFHelper_6989586621679448410 a6989586621679448415 a6989586621679448416

data TFHelper_6989586621679448410Sym1 (a6989586621679448415 :: Precision) :: (~>) Precision Bool where

Constructors

TFHelper_6989586621679448410Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679448410Sym1 a6989586621679448415) arg) (TFHelper_6989586621679448410Sym2 a6989586621679448415 arg) => TFHelper_6989586621679448410Sym1 a6989586621679448415 a6989586621679448416

Instances

SuppressUnusedWarnings (TFHelper_6989586621679448410Sym1 a6989586621679448415 :: TyFun Precision Bool -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TFHelper_6989586621679448410Sym1 a6989586621679448415 :: TyFun Precision Bool -> Type) (a6989586621679448416 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (TFHelper_6989586621679448410Sym1 a6989586621679448415 :: TyFun Precision Bool -> Type) (a6989586621679448416 :: Precision) = TFHelper_6989586621679448410 a6989586621679448415 a6989586621679448416

data TFHelper_6989586621679448410Sym0 :: (~>) Precision ((~>) Precision Bool) where

Constructors

TFHelper_6989586621679448410Sym0KindInference :: SameKind (Apply TFHelper_6989586621679448410Sym0 arg) (TFHelper_6989586621679448410Sym1 arg) => TFHelper_6989586621679448410Sym0 a6989586621679448415

Instances

SuppressUnusedWarnings TFHelper_6989586621679448410Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply TFHelper_6989586621679448410Sym0 (a6989586621679448415 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply TFHelper_6989586621679448410Sym0 (a6989586621679448415 :: Precision) = TFHelper_6989586621679448410Sym1 a6989586621679448415

type family Compare_6989586621679449533 (a :: Precision) (a :: Precision) :: Ordering where ...

Equations

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

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

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

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

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

Compare_6989586621679449533 P8 P16 = LTSym0

Compare_6989586621679449533 P8 P32 = LTSym0

Compare_6989586621679449533 P8 P64 = LTSym0

Compare_6989586621679449533 P8 P128 = LTSym0

Compare_6989586621679449533 P16 P8 = GTSym0

Compare_6989586621679449533 P16 P32 = LTSym0

Compare_6989586621679449533 P16 P64 = LTSym0

Compare_6989586621679449533 P16 P128 = LTSym0

Compare_6989586621679449533 P32 P8 = GTSym0

Compare_6989586621679449533 P32 P16 = GTSym0

Compare_6989586621679449533 P32 P64 = LTSym0

Compare_6989586621679449533 P32 P128 = LTSym0

Compare_6989586621679449533 P64 P8 = GTSym0

Compare_6989586621679449533 P64 P16 = GTSym0

Compare_6989586621679449533 P64 P32 = GTSym0

Compare_6989586621679449533 P64 P128 = LTSym0

Compare_6989586621679449533 P128 P8 = GTSym0

Compare_6989586621679449533 P128 P16 = GTSym0

Compare_6989586621679449533 P128 P32 = GTSym0

Compare_6989586621679449533 P128 P64 = GTSym0

type family Compare_6989586621679449533Sym2 (a6989586621679449538 :: Precision) (a6989586621679449539 :: Precision) :: Ordering where ...

Equations

Compare_6989586621679449533Sym2 a6989586621679449538 a6989586621679449539 = Compare_6989586621679449533 a6989586621679449538 a6989586621679449539

data Compare_6989586621679449533Sym1 (a6989586621679449538 :: Precision) :: (~>) Precision Ordering where

Constructors

Compare_6989586621679449533Sym1KindInference :: SameKind (Apply (Compare_6989586621679449533Sym1 a6989586621679449538) arg) (Compare_6989586621679449533Sym2 a6989586621679449538 arg) => Compare_6989586621679449533Sym1 a6989586621679449538 a6989586621679449539

Instances

SuppressUnusedWarnings (Compare_6989586621679449533Sym1 a6989586621679449538 :: TyFun Precision Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Compare_6989586621679449533Sym1 a6989586621679449538 :: TyFun Precision Ordering -> Type) (a6989586621679449539 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679449533Sym1 a6989586621679449538 :: TyFun Precision Ordering -> Type) (a6989586621679449539 :: Precision) = Compare_6989586621679449533 a6989586621679449538 a6989586621679449539

data Compare_6989586621679449533Sym0 :: (~>) Precision ((~>) Precision Ordering) where

Constructors

Compare_6989586621679449533Sym0KindInference :: SameKind (Apply Compare_6989586621679449533Sym0 arg) (Compare_6989586621679449533Sym1 arg) => Compare_6989586621679449533Sym0 a6989586621679449538

Instances

SuppressUnusedWarnings Compare_6989586621679449533Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply Compare_6989586621679449533Sym0 (a6989586621679449538 :: Precision)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679449533Sym0 (a6989586621679449538 :: Precision) = Compare_6989586621679449533Sym1 a6989586621679449538

type family TFHelper_6989586621679449542 (a :: BasicType) (a :: BasicType) :: Bool where ...

Equations

TFHelper_6989586621679449542 BTInt BTInt = TrueSym0

TFHelper_6989586621679449542 BTInt BTReal = FalseSym0

TFHelper_6989586621679449542 BTInt BTLogical = FalseSym0

TFHelper_6989586621679449542 BTInt BTChar = FalseSym0

TFHelper_6989586621679449542 BTReal BTInt = FalseSym0

TFHelper_6989586621679449542 BTReal BTReal = TrueSym0

TFHelper_6989586621679449542 BTReal BTLogical = FalseSym0

TFHelper_6989586621679449542 BTReal BTChar = FalseSym0

TFHelper_6989586621679449542 BTLogical BTInt = FalseSym0

TFHelper_6989586621679449542 BTLogical BTReal = FalseSym0

TFHelper_6989586621679449542 BTLogical BTLogical = TrueSym0

TFHelper_6989586621679449542 BTLogical BTChar = FalseSym0

TFHelper_6989586621679449542 BTChar BTInt = FalseSym0

TFHelper_6989586621679449542 BTChar BTReal = FalseSym0

TFHelper_6989586621679449542 BTChar BTLogical = FalseSym0

TFHelper_6989586621679449542 BTChar BTChar = TrueSym0

type family TFHelper_6989586621679449542Sym2 (a6989586621679449547 :: BasicType) (a6989586621679449548 :: BasicType) :: Bool where ...

Equations

TFHelper_6989586621679449542Sym2 a6989586621679449547 a6989586621679449548 = TFHelper_6989586621679449542 a6989586621679449547 a6989586621679449548

data TFHelper_6989586621679449542Sym1 (a6989586621679449547 :: BasicType) :: (~>) BasicType Bool where

Constructors

TFHelper_6989586621679449542Sym1KindInference :: SameKind (Apply (TFHelper_6989586621679449542Sym1 a6989586621679449547) arg) (TFHelper_6989586621679449542Sym2 a6989586621679449547 arg) => TFHelper_6989586621679449542Sym1 a6989586621679449547 a6989586621679449548

Instances

SuppressUnusedWarnings (TFHelper_6989586621679449542Sym1 a6989586621679449547 :: TyFun BasicType Bool -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TFHelper_6989586621679449542Sym1 a6989586621679449547 :: TyFun BasicType Bool -> Type) (a6989586621679449548 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (TFHelper_6989586621679449542Sym1 a6989586621679449547 :: TyFun BasicType Bool -> Type) (a6989586621679449548 :: BasicType) = TFHelper_6989586621679449542 a6989586621679449547 a6989586621679449548

data TFHelper_6989586621679449542Sym0 :: (~>) BasicType ((~>) BasicType Bool) where

Constructors

TFHelper_6989586621679449542Sym0KindInference :: SameKind (Apply TFHelper_6989586621679449542Sym0 arg) (TFHelper_6989586621679449542Sym1 arg) => TFHelper_6989586621679449542Sym0 a6989586621679449547

Instances

SuppressUnusedWarnings TFHelper_6989586621679449542Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply TFHelper_6989586621679449542Sym0 (a6989586621679449547 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply TFHelper_6989586621679449542Sym0 (a6989586621679449547 :: BasicType) = TFHelper_6989586621679449542Sym1 a6989586621679449547

type family Compare_6989586621679449551 (a :: BasicType) (a :: BasicType) :: Ordering where ...

Equations

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

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

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

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

Compare_6989586621679449551 BTInt BTReal = LTSym0

Compare_6989586621679449551 BTInt BTLogical = LTSym0

Compare_6989586621679449551 BTInt BTChar = LTSym0

Compare_6989586621679449551 BTReal BTInt = GTSym0

Compare_6989586621679449551 BTReal BTLogical = LTSym0

Compare_6989586621679449551 BTReal BTChar = LTSym0

Compare_6989586621679449551 BTLogical BTInt = GTSym0

Compare_6989586621679449551 BTLogical BTReal = GTSym0

Compare_6989586621679449551 BTLogical BTChar = LTSym0

Compare_6989586621679449551 BTChar BTInt = GTSym0

Compare_6989586621679449551 BTChar BTReal = GTSym0

Compare_6989586621679449551 BTChar BTLogical = GTSym0

type family Compare_6989586621679449551Sym2 (a6989586621679449556 :: BasicType) (a6989586621679449557 :: BasicType) :: Ordering where ...

Equations

Compare_6989586621679449551Sym2 a6989586621679449556 a6989586621679449557 = Compare_6989586621679449551 a6989586621679449556 a6989586621679449557

data Compare_6989586621679449551Sym1 (a6989586621679449556 :: BasicType) :: (~>) BasicType Ordering where

Constructors

Compare_6989586621679449551Sym1KindInference :: SameKind (Apply (Compare_6989586621679449551Sym1 a6989586621679449556) arg) (Compare_6989586621679449551Sym2 a6989586621679449556 arg) => Compare_6989586621679449551Sym1 a6989586621679449556 a6989586621679449557

Instances

SuppressUnusedWarnings (Compare_6989586621679449551Sym1 a6989586621679449556 :: TyFun BasicType Ordering -> Type)

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Compare_6989586621679449551Sym1 a6989586621679449556 :: TyFun BasicType Ordering -> Type) (a6989586621679449557 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply (Compare_6989586621679449551Sym1 a6989586621679449556 :: TyFun BasicType Ordering -> Type) (a6989586621679449557 :: BasicType) = Compare_6989586621679449551 a6989586621679449556 a6989586621679449557

data Compare_6989586621679449551Sym0 :: (~>) BasicType ((~>) BasicType Ordering) where

Constructors

Compare_6989586621679449551Sym0KindInference :: SameKind (Apply Compare_6989586621679449551Sym0 arg) (Compare_6989586621679449551Sym1 arg) => Compare_6989586621679449551Sym0 a6989586621679449556

Instances

SuppressUnusedWarnings Compare_6989586621679449551Sym0

Defined in Language.Fortran.Model.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply Compare_6989586621679449551Sym0 (a6989586621679449556 :: BasicType)

Defined in Language.Fortran.Model.Singletons

type Apply Compare_6989586621679449551Sym0 (a6989586621679449556 :: BasicType) = Compare_6989586621679449551Sym1 a6989586621679449556

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