template-haskell

26열

4답변

나는 Haskell에 작성된 Elm 컴파일러를 둘러 보았다. 나는 그것을위한 몇 가지 최적화를 구현하기 시작하고 싶습니다,이 부분 등의 AST를 순회하며 꼬리 전화와 같은 특정 노드에 "주석"을 추가 포함 내가 사용할 수 있습니다 알고 SYB 또는 uniplate를 사용하여 순회를 수행하지만, 유형을 처리 할 수있는 상용구없는 방법이 있는지 궁금합니다. d

2열

1답변

`[p |`에`zs`를 어떻게 대치합니까? zs @ (z : _) |]`나는 자신을 생성하는 이름을 가지고 있습니까?

나는 실행하는 경우 : > runQ [p| [email protected](z:_) |] AsP zs_46 (InfixP (VarP z_47) GHC.Types.: WildP) 내가 나 자신을 생성 이름 zs 및 z를 교체하고 싶습니다. 나는 z를 대체 할 수 > let z = mkName "z" > runQ [p| [email protected](

3열

1답변

하스켈에서 유형 정보를 가치 수준으로 가져 오는 방법은 무엇입니까?

하스켈에서 유형 정보를 가치 수준으로 가져 오는 방법을 찾고 있습니다. 모든 유형 정보를 값으로 표시하는 한 가지 방법은 Language.Haskell.TH.Type입니다. Proxy a을 사용하고 다음과 같이 a 유형의 Language.Haskell.TH.Type (또는 어떤 유형을 나타내는 대체 유형)을 반환하는 함수를 구현할 수있는 방법이 있습니까?

1열

1답변

TemplateHaskell을 사용하여 데이터 선언 생성

이름 목록을 기반으로 상수 묶음을 생성하는 방법을 알고 싶습니다. 나는이 작업을 예 시작 : ConstantCreation.hs module ConstantCreation where import Language.Haskell.TH createConstant :: String -> Q [Dec] createConstant constantName =

2열

1답변

템플릿 Haskell에 의해 생성 된 코드를 GHCJS가 재사용 할 수 있습니까?

현재 GHCJS는 postgresql-simple 패키지를 컴파일하지 못합니다 ([1] 참조). DB 모델을 생성하려면 persistent 패키지를 사용하고 싶습니다. GHC 자체에서 모델을 컴파일하고 GHCJS 소스에서 Template Haskell에 의해 생성 된 코드를 다시 사용할 수 있습니까? 문제점은 이미 해결되었지만 여전히 관련이 있습니다. 나는

1열

1답변

Template Haskell로 원시 소스 코드를 내보낼 수 있습니까?

유효한 Haskell 코드가 포함 된 String (또는 Text 또는 그 이상)이 있다고 가정 해보십시오. Template Haskell을 사용하여 [Dec]으로 변환 할 수 있나요? AST가 GHC에 직접 연결되지 않기 때문에 프린트가되고 어쨌든 구문 분석 단계가 될 것입니다. TH에 대해 다른 "백엔드"를 허용하므로 좋을 것입니다. 예를 들어, TH보

3열

2답변

'singleton'패키지에 Ord 인스턴스 추가하기 Naturals 생성

싱글 톤 패키지로 생성 된 매우 간단한 유형 수준의 자연어를 사용하고 있습니다. Ord 인스턴스를 추가하려고합니다. {-# LANGUAGE MultiParamTypeClasses, TemplateHaskell, KindSignatures, DataKinds, ScopedTypeVariables, GADTs, TypeFamilies, FlexibleInsta

1열

1답변

템플릿 하스켈을 사용하여 햄릿 코드를 생성 할 수 있습니까?

나는 Template Haskell을위한 적절한 장소라고 생각되는 흥미로운 문제를 보았습니다. yesod 및 yesod-persistant를 사용하여 웹 프론트 엔드에서 데이터베이스로 작업하고 있습니다. 내가 mkPerist 함수와 persistLowerCase 준 인용문을 사용하여 데이터베이스 유형을 생성하고 있습니다. 제 문제는 데이터베이스 필드를 편집

3열

1답변

Cabal에 포함 할 텍스트 파일 포함

템플릿 하스켈 및 파일 임베드를 사용하여 몇 개의 매우 큰 문자열을 포함하는 라이브러리를 만들었습니다. Cabal dist를 실행할 때 이러한 파일이 포함되도록하려면 어떻게해야합니까? 모두가 core라는 폴더에 있지만 일부는 core의 하위 디렉토리에 있습니다.

4열

1답변

Template Haskell 이름을 desugar 'x를 NameG로 인용 하시겠습니까?

NameG 생성자에 대한 작은 따옴표 구문을 항상 사용할 수 있습니까? 예 : 'x 은 항상 옳다, (Name (OccName "x") (NameG VarName (PkgName "some-package") (ModName "SomeModule"))) 에 하스켈 후 실행 단계 템플릿입니다 이름 확인 후 항상이 있어야이 정보를, desugar는 무엇입