lens

3열

1답변

모나 딕 액션을 사용하여 Control.Lens에서 접기를 필터링 할 수 있습니까?

Control.Lens.Fold에는 모나드 작업을 적용하기 전에 목록을 필터링하는 데 사용할 수있는 filtered이 포함되어 있습니다. 해당 filteredM은 보이지 않지만 그 효과를 얻을 수있는 방법이 있습니까? 명확하게하려면, 어떻게 xs의 각 요소에 actionM을 적용 할 수 있습니다 내가 xs :: [ MyType ] predM :: MyT

1열

1답변

하스켈의 렌즈에서 다른 세터와 게터 타입

나는 data typeG을 가지고 있는데, 필드는 _repr :: Data.Graph.Inductive.Gr String String입니다. 정상적인 방법으로, 새로운 노드를 Gr 그래프에 추가 할 때, 이라는 객체를 제공해야합니다.이 객체는 기본적으로 (Int, a)의 튜플로 정의됩니다. 여기서 Int는 그래프의 노드 인덱스입니다. 아래 예제 함수 add

4열

1답변

Three.js를 사용하여 lensflare를 추가하는 방법은 무엇입니까?

난 그냥 http://threejs.org/examples/webgl_lensflares.html 처럼, 내 자신의 프로젝트에 lensflare을 추가 할하지만 크롬은 저를 경고 계속 "WebGL을 : INVALID_OPERATION : copyTexImage2D : 프레임 버퍼가 호환되지 않는 형식입니다", 렌즈 플레어가 표시되지 않습니다. 많은 검색을했

8열

2답변

기본 "밑줄"대신 기본 이름 프로세서를 사용하는 "렌즈"라이브러리 용 렌즈 생성

표준 makeLenses 구현은 밑줄로 시작하는 레코드의 모든 필드에 대해 렌즈를 생성합니다. 나는 여러 가지 이유로 그러한 어색한 명명 규칙을 내 기록에 도입해야한다는 생각을 매우 싫어한다. 내가하고 싶은 일은 레코드의 모든 필드에 대해 렌즈를 생성하고 필드 이름에 접미사 "L"을 추가하는 것입니다. FC-레이블 라이브러리 내가 그 mkLabelsWith

6열

1답변

실존 유형의 렌즈를 사용하지 못하는 문제를 해결하려면 어떻게해야합니까?

나는 ... [1] 존재 한정사가 makeLenses을 방해한다고 설명에서 문제를 처음으로 에드워드 Kmett의 렌즈 라이브러리를 사용하여, 그것은 오히려 좋은 발견,하지만 난 난관에 부딪쳤다하고있다. 나는 오히려 어떤 방식으로 렌즈와 실존 적을 사용하기를 원합니다. 을 배경으로, I 클래스가 : 실제 질문에 대한 class (TextShow file, E

3열

1답변

아나모픽은 렌즈와 어떤 관련이 있습니까?

렌즈는 어떻게 접근합니까? 예 : anamorphism에 관련 http://hackage.haskell.org/packages/archive/lens/3.9.0.2/doc/html/Control-Lens-Type.html#t:Lens ? 예 : http://hackage.haskell.org/packages/archive/recursion-schemes/3

15열

2답변

렌즈 및 지퍼가있는 순회 트리

렌즈 패키지를 배우고 있습니다. 나는 그것이 다소 도전적인 임무라고 말해야 만합니다. 렌즈에서 Zipper를 사용하여 트리를 트래버스하는 방법을 보여 줄 수 있습니까? 특히, 어떻게 뿌리의 목록을 취하고 하위 트리의 가지에 접근 할 수있는 함수를 작성할 수 있습니까? 이 트리가 있다고 가정합니다. 내 입력 [1, 3] 경우, 함수는 정확히 어떻게 내가 (A

8열

2답변

왜이 렌즈를 사용하려면 내 데이터 유형이 Monoid 인스턴스에 있어야합니까?

아래의 코드는 SceneGraph 유형의 '_scene'필드가있는 레코드에서 사용하고 있습니다. 저는 makeLenses를 사용하여 렌즈를 만들었습니다. inputGame :: Input -> Game -> Game inputGame i g = flip execState g $ do let es = g ^. userInput . events

3열

1답변

렌즈 목록을 생성하는 방법은 무엇입니까?

나는 객체 목록을 가지고있는 코드에서 일반적인 패턴을 가지고 있으며, 사용자에게 하나를 선택하게하기 위해 함수 choose에 그것들을 전달한다. 지금은 선택된 요소를 액세스 할 (!!) 부분을 사용하기 때문에 choose :: [a] -> (a -> String) -> IO Int 그러나 Int 복귀하면, 유감. 이것을 피하기 위해 나는 렌즈 목록에있는