Language.Symantic.Lib.If

Symantic for If.

Type If

data If

Instances

ClassInstancesFor If

Defined in Language.Symantic.Lib.If

Methods

proveConstraintFor :: Source src => proxy If -> Type src vs q -> Maybe (Qual q)

TypeInstancesFor If

Defined in Language.Symantic.Lib.If

Methods

expandFamFor :: Source src => proxy If -> Len vs -> Const src fam -> Types src vs ts -> Maybe (Type src vs (Fam fam ts))

NameTyOf If

Defined in Language.Symantic.Lib.If

Methods

nameTyOf :: proxy If -> Mod NameTy

isNameTyOp :: proxy If -> Bool

ModuleFor src ss If

Defined in Language.Symantic.Lib.If

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g If

Defined in Language.Symantic.Lib.If

Methods

g_term_atomsFor :: [CF g (AST_Term src ss)]

type Sym If

Defined in Language.Symantic.Lib.If

type Sym If = Sym_If

Class Sym_If

class Sym_If term where

Methods

if_ :: term Bool -> term a -> term a -> term a

if_ :: Sym_If (UnT term) => Trans term => term Bool -> term a -> term a -> term a

Instances

Sym_If View

Defined in Language.Symantic.Lib.If

Methods

if_ :: View Bool -> View a -> View a -> View a

Sym_If Eval

Defined in Language.Symantic.Lib.If

Methods

if_ :: Eval Bool -> Eval a -> Eval a -> Eval a

(Sym_If term, Sym_Lambda term) => Sym_If (BetaT term)

Defined in Language.Symantic.Lib.If

Methods

if_ :: BetaT term Bool -> BetaT term a -> BetaT term a -> BetaT term a

(Sym_If r1, Sym_If r2) => Sym_If (Dup r1 r2)

Defined in Language.Symantic.Lib.If

Methods

if_ :: Dup r1 r2 Bool -> Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 a

Types

Terms

teIf_if :: TermDef If '[Proxy a] (() #> (Bool -> a -> a -> a))