Ermine.Syntax.Core

Contents

• Core Terms
• Smart constructors

Description

Synopsis

• data Core t a
  • = Var a
  • | HardCore !HardCore
  • | Data [t] !Word64 !Global [Core t a]
  • | Prim [t] t !Global [Core t a]
  • | App !t !(Core t a) !(Core t a)
  • | Lam [t] !(Scope Word64 (Core t) a)
  • | Let [Scope Word64 (Core t) a] !(Scope Word64 (Core t) a)
  • | Case !(Core t a) (Map Word64 (Match t (Core t) a)) (Maybe (Scope () (Core t) a))
  • | Dict {
    • supers :: [Core t a]
    • slots :: [Scope Word64 (Core t) a]
    }
• data Match t c a = Match {
  • _matchArgs :: [t]
  • _matchGlobal :: !Global
  • _matchBody :: Scope Word64 c a
  }
• matchArgs :: Lens (Match t c a) (Match t' c a) [t] [t']
• matchGlobal :: Lens' (Match t c a) Global
• matchBody :: Lens (Match t c a) (Match t d b) (Scope Word64 c a) (Scope Word64 d b)
• triverseMatch :: Applicative f => (t -> f t') -> (forall x y. (x -> f y) -> c x -> f (c' y)) -> (a -> f a') -> Match t c a -> f (Match t' c' a')
• class (Variable c, AppHash c, AppDict c, App c, Applicative c, Monad c) => Cored t c | c -> t where
  • core :: Core t a -> c a
  • case_ :: c a -> Map Word64 (Match t c a) -> Maybe (Scope () c a) -> c a
  • lambda :: [t] -> Scope Word64 c a -> c a
  • letrec :: [Scope Word64 c a] -> Scope Word64 c a -> c a
  • hardCore :: HardCore -> c a
• data JavaLike
  • = Method !Bool !Text !Text [Text]
  • | Constructor !Text [Text]
  • | Value !Bool !Text !Text
• data Foreign
  • = JavaLike !JavaLike
  • | Unknown !Text
• data HardCore
  • = Super !Word64
  • | Slot !Word64
  • | Lit !Literal
  • | Foreign !Foreign
  • | Error !Text
  • | Id !Id
• class AsId c => AsHardCore c where
  • _HardCore :: Prism' c HardCore
  • _Lit :: Prism' c Literal
  • _Error :: Prism' c Text
  • _Super :: Prism' c Word64
  • _Slot :: Prism' c Word64
  • _Foreign :: Prism' c Foreign
• super :: (AsHardCore (c a), AppDict c) => Word64 -> c a -> c a
• slot :: (AsHardCore (c a), AppDict c) => Word64 -> c a -> c a
• lam :: (Cored t m, Eq a) => t -> [a] -> Core t a -> m a
• let_ :: (Cored t m, Eq a) => [(a, Core t a)] -> Core t a -> m a
• dataCon :: Cored t m => [t] -> Word64 -> Global -> m a
• prim :: Cored t m => [t] -> t -> Global -> m a

Core Terms

Smart constructors