Hyper.Type.AST.App

Documentation

data App expr h

A term for function applications.

App exprs express function applications of exprs.

Apart from the data type, an Infer instance is also provided.

Constructors

App

Fields

• _appFunc :: h :# expr
• _appArg :: h :# expr

Instances

(c (App e), Recursively c e) => Recursively c (App e)

Defined in Hyper.Type.AST.App

Methods

recursively :: proxy (c (App e)) -> Dict (c (App e), HNodesConstraint (App e) (Recursively c))

(Infer m expr, HasInferredType expr, HSubset' (TypeOf expr) (FuncType (TypeOf expr)), UnifyGen m (TypeOf expr)) => Infer m (App expr)

Defined in Hyper.Type.AST.App

Methods

inferBody :: forall (h :: AHyperType -> Type). (App expr # InferChild m h) -> m (App expr # h, InferOf (App expr) # UVarOf m)

inferContext :: proxy0 m -> proxy1 (App expr) -> Dict (HNodesConstraint (App expr) (Infer m), HNodesConstraint (InferOf (App expr)) (UnifyGen m))

HNodes (App expr)

Defined in Hyper.Type.AST.App

Associated Types

type HNodesConstraint (App expr) c

type HWitnessType (App expr) :: HyperType -> Type

Methods

hLiftConstraint :: forall c (n :: HyperType) r. HNodesConstraint (App expr) c => HWitness (App expr) n -> Proxy c -> (c n => r) -> r

HPointed (App expr)

Defined in Hyper.Type.AST.App

Methods

hpure :: (forall (n :: HyperType). HWitness (App expr) n -> p # n) -> App expr # p

HFunctor (App expr)

Defined in Hyper.Type.AST.App

Methods

hmap :: (forall (n :: HyperType). HWitness (App expr) n -> (p # n) -> q # n) -> (App expr # p) -> App expr # q

HFoldable (App expr)

Defined in Hyper.Type.AST.App

Methods

hfoldMap :: Monoid a => (forall (n :: HyperType). HWitness (App expr) n -> (p # n) -> a) -> (App expr # p) -> a

HTraversable (App expr)

Defined in Hyper.Type.AST.App

Methods

hsequence :: forall f (p :: AHyperType -> Type). Applicative f => (App expr # ContainedH f p) -> f (App expr # p)

HApply (App expr)

Defined in Hyper.Type.AST.App

Methods

hzip :: forall (p :: HyperType) (q :: HyperType). (App expr # p) -> (App expr # q) -> App expr # (p :*: q)

ZipMatch (App expr)

Defined in Hyper.Type.AST.App

Methods

zipMatch :: forall (p :: HyperType) (q :: HyperType). (App expr # p) -> (App expr # q) -> Maybe (App expr # (p :*: q))

RTraversable e => RTraversable (App e)

Defined in Hyper.Type.AST.App

Methods

recursiveHTraversable :: proxy (App e) -> Dict (HNodesConstraint (App e) RTraversable)

RNodes e => RNodes (App e)

Defined in Hyper.Type.AST.App

Methods

recursiveHNodes :: proxy (App e) -> Dict (HNodesConstraint (App e) RNodes)

HContext (App expr)

Defined in Hyper.Type.AST.App

Methods

hcontext :: forall (p :: HyperType). (App expr # p) -> App expr # (HFunc p (Const (App expr # p)) :*: p)

HMorph (App expr0) (App expr1)

Defined in Hyper.Type.AST.App

Associated Types

type MorphConstraint (App expr0) (App expr1) c

data MorphWitness (App expr0) (App expr1) :: HyperType -> HyperType -> Type

Methods

morphMap :: (forall (a :: HyperType) (b :: HyperType). MorphWitness (App expr0) (App expr1) a b -> (p # a) -> q # b) -> (App expr0 # p) -> App expr1 # q

morphLiftConstraint :: forall c (a :: HyperType) (b :: HyperType) r. MorphConstraint (App expr0) (App expr1) c => MorphWitness (App expr0) (App expr1) a b -> Proxy c -> (c a b => r) -> r

Constraints (App expr h) Eq => Eq (App expr h)

Defined in Hyper.Type.AST.App

Methods

(==) :: App expr h -> App expr h -> Bool

(/=) :: App expr h -> App expr h -> Bool

Constraints (App expr h) Ord => Ord (App expr h)

Defined in Hyper.Type.AST.App

Methods

compare :: App expr h -> App expr h -> Ordering

(<) :: App expr h -> App expr h -> Bool

(<=) :: App expr h -> App expr h -> Bool

(>) :: App expr h -> App expr h -> Bool

(>=) :: App expr h -> App expr h -> Bool

max :: App expr h -> App expr h -> App expr h

min :: App expr h -> App expr h -> App expr h

Constraints (App expr h) Show => Show (App expr h)

Defined in Hyper.Type.AST.App

Methods

showsPrec :: Int -> App expr h -> ShowS

show :: App expr h -> String

showList :: [App expr h] -> ShowS

Generic (App expr h)

Defined in Hyper.Type.AST.App

Associated Types

type Rep (App expr h) :: Type -> Type

Methods

from :: App expr h -> Rep (App expr h) x

to :: Rep (App expr h) x -> App expr h

Constraints (App expr h) Binary => Binary (App expr h)

Defined in Hyper.Type.AST.App

Methods

put :: App expr h -> Put

get :: Get (App expr h)

putList :: [App expr h] -> Put

Constraints (App expr h) NFData => NFData (App expr h)

Defined in Hyper.Type.AST.App

Methods

rnf :: App expr h -> ()

Pretty (h :# expr) => Pretty (App expr h)

Defined in Hyper.Type.AST.App

Methods

pPrintPrec :: PrettyLevel -> Rational -> App expr h -> Doc

pPrint :: App expr h -> Doc

pPrintList :: PrettyLevel -> [App expr h] -> Doc

type HWitnessType (App expr)

Defined in Hyper.Type.AST.App

type HWitnessType (App expr) = W_App expr

type InferOf (App e)

Defined in Hyper.Type.AST.App

type InferOf (App e) = ANode (TypeOf e)

type HNodesConstraint (App expr) constraint

Defined in Hyper.Type.AST.App

type HNodesConstraint (App expr) constraint = constraint expr

data MorphWitness (App expr0) (App expr1) _ _

Defined in Hyper.Type.AST.App

data MorphWitness (App expr0) (App expr1) _ _ where

• M_App_expr :: forall (expr0 :: HyperType) (expr1 :: HyperType). MorphWitness (App expr0) (App expr1) expr0 expr1

type MorphConstraint (App expr0) (App expr1) constraint

Defined in Hyper.Type.AST.App

type MorphConstraint (App expr0) (App expr1) constraint = constraint expr0 expr1

type Rep (App expr h)

Defined in Hyper.Type.AST.App

type Rep (App expr h) = D1 ('MetaData "App" "Hyper.Type.AST.App" "hypertypes-0.1.0.2-GDiSRF0EwgQ6Mkx3yytlTL" 'False) (C1 ('MetaCons "App" 'PrefixI 'True) (S1 ('MetaSel ('Just "_appFunc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (h :# expr)) :*: S1 ('MetaSel ('Just "_appArg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (h :# expr))))

appFunc :: forall expr h. Lens' (App expr h) ((:#) h expr)

appArg :: forall expr h. Lens' (App expr h) ((:#) h expr)

data W_App (expr :: HyperType) node where

Constructors

W_App_expr :: W_App expr expr

data family MorphWitness s t :: HyperType -> HyperType -> Type

Instances

data MorphWitness (ANode a) (ANode b) _ _

Defined in Hyper.Combinator.ANode

data MorphWitness (ANode a) (ANode b) _ _ where

• M_ANode :: forall (a :: HyperType) (b :: HyperType). MorphWitness (ANode a) (ANode b) a b

data MorphWitness (FuncType typ0) (FuncType typ1) _ _

Defined in Hyper.Type.AST.FuncType

data MorphWitness (FuncType typ0) (FuncType typ1) _ _ where

• M_FuncType_typ :: forall (typ0 :: HyperType) (typ1 :: HyperType). MorphWitness (FuncType typ0) (FuncType typ1) typ0 typ1

data MorphWitness (App expr0) (App expr1) _ _

Defined in Hyper.Type.AST.App

data MorphWitness (App expr0) (App expr1) _ _ where

• M_App_expr :: forall (expr0 :: HyperType) (expr1 :: HyperType). MorphWitness (App expr0) (App expr1) expr0 expr1

data MorphWitness (TermMap h expr0) (TermMap h expr1) _ _

Defined in Hyper.Type.AST.Map

data MorphWitness (TermMap h expr0) (TermMap h expr1) _ _ where

• M_TermMap_expr :: forall h (expr0 :: HyperType) (expr1 :: HyperType). MorphWitness (TermMap h expr0) (TermMap h expr1) expr0 expr1

data MorphWitness (Var v expr0) (Var v expr1) _ _

Defined in Hyper.Type.AST.Var

data MorphWitness (Var v expr0) (Var v expr1) _ _

data MorphWitness (ToNom nomId term0) (ToNom nomId term1) _ _

Defined in Hyper.Type.AST.Nominal

data MorphWitness (ToNom nomId term0) (ToNom nomId term1) _ _ where

• M_ToNom_term :: forall nomId (term0 :: HyperType) (term1 :: HyperType). MorphWitness (ToNom nomId term0) (ToNom nomId term1) term0 term1

data MorphWitness (Let v expr0) (Let v expr1) _ _

Defined in Hyper.Type.AST.Let

data MorphWitness (Let v expr0) (Let v expr1) _ _ where

• M_Let_expr :: forall v (expr0 :: HyperType) (expr1 :: HyperType). MorphWitness (Let v expr0) (Let v expr1) expr0 expr1

data MorphWitness (Lam v expr0) (Lam v expr1) _ _

Defined in Hyper.Type.AST.Lam

data MorphWitness (Lam v expr0) (Lam v expr1) _ _ where

• M_Lam_expr :: forall v (expr0 :: HyperType) (expr1 :: HyperType). MorphWitness (Lam v expr0) (Lam v expr1) expr0 expr1

data MorphWitness (RowExtend key val0 rest0) (RowExtend key val1 rest1) _ _

Defined in Hyper.Type.AST.Row

data MorphWitness (RowExtend key val0 rest0) (RowExtend key val1 rest1) _ _ where

• M_RowExtend_val :: forall key (val0 :: HyperType) (rest0 :: HyperType) (val1 :: HyperType) (rest1 :: HyperType). MorphWitness (RowExtend key val0 rest0) (RowExtend key val1 rest1) val0 val1
• M_RowExtend_rest :: forall key (val0 :: HyperType) (rest0 :: HyperType) (val1 :: HyperType) (rest1 :: HyperType). MorphWitness (RowExtend key val0 rest0) (RowExtend key val1 rest1) rest0 rest1

data MorphWitness (TypedLam var typ0 expr0) (TypedLam var typ1 expr1) _ _

Defined in Hyper.Type.AST.TypedLam

data MorphWitness (TypedLam var typ0 expr0) (TypedLam var typ1 expr1) _ _ where

• M_TypedLam_typ :: forall var (typ0 :: HyperType) (expr0 :: HyperType) (typ1 :: HyperType) (expr1 :: HyperType). MorphWitness (TypedLam var typ0 expr0) (TypedLam var typ1 expr1) typ0 typ1
• M_TypedLam_expr :: forall var (typ0 :: HyperType) (expr0 :: HyperType) (typ1 :: HyperType) (expr1 :: HyperType). MorphWitness (TypedLam var typ0 expr0) (TypedLam var typ1 expr1) expr0 expr1