Language.Symantic.Lib.If

Symantic for If.

Type If

data If

Instances

ClassInstancesFor * If

Methods

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

TypeInstancesFor * If

Methods

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

ModuleFor * src ss If

Methods

moduleFor :: (PathMod, Module ss If)

Gram_Term_AtomsFor * src ss g If

Methods

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

type Sym (Proxy * If)

type Sym (Proxy * 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 Eval

Methods

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

Sym_If View

Methods

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

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

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)

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