| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Embedder.Atmo.Util
Synopsis
- data FieldId
- paramTys :: Ty -> [Ty]
- isPrim :: Show a => a -> Bool
- inlineable :: Defn -> Bool
- mustInline :: Defn -> Bool
- nil :: Exp
- flattenTuple :: Exp -> Maybe [Exp]
- mkTuple :: Annote -> [Exp] -> Exp
- mkTuplePat :: Annote -> [Pat] -> Pat
- mkPair :: Annote -> Exp -> Exp -> Exp
- mkPairPat :: Annote -> Pat -> Pat -> Pat
- flattenLam :: Monad m => Exp -> m ([Text], Exp)
- mkLam :: Annote -> Ty -> [Text] -> Exp -> Exp
- mkApp :: Annote -> Exp -> [Exp] -> Exp
- mkError :: Annote -> Maybe Ty -> Text -> Exp
- builtin :: Text -> Maybe Builtin
- proxy :: Natural -> Exp
- tybuiltin :: Text -> Maybe TyBuiltin
- userBuiltin :: Text -> Maybe Builtin
- mkTupleCtor :: Int -> Text
- isTupleCtor :: Text -> Bool
- mkRecVal :: Annote -> [(Text, Exp)] -> Exp
- mkRecUpd :: Annote -> Exp -> [(Text, Exp)] -> Exp
- mkRecSel :: Annote -> Text -> Exp -> Exp
- mkPatRec :: Annote -> [(Text, Pat)] -> Pat
Documentation
Instances
| Data FieldId Source # | |||||
Defined in Embedder.Atmo.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldId -> c FieldId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldId # toConstr :: FieldId -> Constr # dataTypeOf :: FieldId -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FieldId) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldId) # gmapT :: (forall b. Data b => b -> b) -> FieldId -> FieldId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldId -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldId -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldId -> m FieldId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldId -> m FieldId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldId -> m FieldId # | |||||
| Generic FieldId Source # | |||||
Defined in Embedder.Atmo.Syntax Associated Types
| |||||
| Eq FieldId Source # | |||||
| Hashable FieldId Source # | |||||
Defined in Embedder.Atmo.Syntax | |||||
| type Rep FieldId Source # | |||||
Defined in Embedder.Atmo.Syntax | |||||
inlineable :: Defn -> Bool Source #
mustInline :: Defn -> Bool Source #
mkTupleCtor :: Int -> Text Source #
isTupleCtor :: Text -> Bool Source #
Function to match the specified pattern and return Maybe Int