template-haskell

6열

1답변

컴파일 시간 오류 또는 URI과 같은 표현식을 만들고 싶습니다. [uri|http://stackoverflow.com|] 컴파일해야 하지만 [uri|foo:/bar:\|] 안된다. 저는 분명히 이런 종류의 문제인 QuasiQuotes를 보았습니다. 그러나, 나는 URI에서 Q Exp을 만들 수없는 것 같습니다. 이 URI에 대한 Lift 인스턴스를

1열

1답변

템플릿 하스켈 : 기록을 템플릿 하스켈로

를 생성 내가 레코드를 생성하고자하는, 예를 들면 : data MyRecordA = MyRecordA {fooA :: String, barA :: Bool} 대문자 MyRecordA, 으로 fooA,바라 및 유형 BOOL에서 두 번째 필드의 변수는 TH 함수 호출자가 변수를 지정해야합니다. 내가 여러 변화와 시도 : 내가 좋아하는 구문 분석 오

3열

1답변

Q 모나드에서 가치 환경 추출

템플릿 하스켈에서 Q 모나드는 모든 마술이 일어나는 곳입니다. 그러나 Q에는 매우 제한된 API가 있습니다. 나는 valueNameStore :: Q (String -> Maybe Name) 타입의 값을 갖고 싶다. 기본으로는 lookupValueName :: String -> Q (Maybe Name)이지만 아직 사용 가능한 변수의 저장소는 바인딩되어있다

3열

1답변

템플릿의 변수 하스켈 커스텀 쿼티 퀴어

예를 들어 천 단어의 가치가 있습니다. 여기에 꽤 간단합니다. quasi quoter 방금 작성했습니다. import Language.Haskell.TH.Quote import Language.Haskell.TH.Syntax quoter :: QuasiQuoter quoter = QuasiQuoter { quotePat = parse }

1열

1답변

TemplateHaskell 함수에서 유형을 정의하고 같은 함수에서 사용하는 방법은 무엇입니까?

단일 TH 기능을 가지고 유형을 정의하고 유형을 사용하는 방법이 있습니까? 아래 관련 코드. PersonPoly2은 makeRecordSplice에 의해 정의 된 후 TH 함수이기도 한 makeAdaptorAndInstance (Opalaye에서)으로 전달됩니다.는 {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE Fl

0열

1답변

템플릿 하스켈을 사용하여 FFI 통화 생성

Frames library에는 CSV 파일을 기반으로 레코드 유형을 생성하는 readTable 함수가 있습니다. foreign import ccall unsafe "// c code" c_foo :: Int -> IO()과 같은 전화를 생성 할 수 있습니까? 나는 [d| ... |]과 [t| ... |] 쿼지백을 사용하여이를 수행하려고 시도했지만 두 가지

1열

1답변

hamletFile, luciusFile, juliusFile 변수가 범위 내에 없습니다

저는 Yesod를 사용하여 간단한 응용 프로그램을 작성 중이며 외부 파일을 가져 오는 데 어려움을 겪고 있습니다. 여기 내 코드입니다 : 내가 whamletFile로 hamletFile를 교체 할 경우 {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE QuasiQuotes #-} {-# LANGUAGE Templ

0열

1답변

하스켈 : makeLenses - 데이터 생성자가 범위에 없음

여기에 유형을 정의하고 makeLenses을 사용하여 렌즈를 생성하는 간단한 코드가 있습니다. module Api.Jira.Types.Search ( SearchRequest(..) ) where import GHC.Generics import qualified Data.Text as T import Data.Aeson (FromJ

1열

1답변

템플릿 Haskell에서 생성자를 호출하는 방법

템플릿 하스켈을 사용하여 데이터 형식을 구성하는 함수 (mkSome이라고 부르 자)가 있습니다. 일반적인 서명은 Name -> Q [Dec]입니다. 몸에 어딘가에 내가 패턴 매칭과 다른 유형의 생성자를 추출하고 있습니다 : 그래서 class MyClass a where specialValue :: a , 내가 반복 해요 : 그 생성자 cs의 c

3열

1답변

동적으로 SQL 쿼리를 Esqueleto와 Template Haskell로 빌드 하시겠습니까?

저는 웹 응용 프로그램을 작성하고 있습니다. Yesod & Persistent. 내 "프로젝트"의 특성을 포함하는 여러 테이블이있는 SQL 데이터베이스가 있습니다. 나는 메인 테이블을 가지고 있고, id를 가진 여러 테이블에 여분의 테이블을 가진 Option을 가지고있다. 사용자는 원하는 특성의 마녀를 선택하여 필터 값을 지정할 수 있어야합니다. 운영 체제