AP
И информация о том, что конструктор имеет некое поле, прилагается к конструктору
Size: a a a
2017 December 19
ZK
в Elm достать поле из data типа можно только через паттерн-матчинг
AP
Ага. Без матчинга всё равно до рекорда не добраться
AP
Вощм, самописные геттеры вместе со смарт-конструкторами - хороший сопсоб поиметь абстракцию
AP
Как-то так:
module Temp exposing (ProgrammContent, getMedType)
type ProgrammContent = ProgrammContent
{ medType : MedType
, medInfo : Maybe Int
}
getMedType : ProgrammContent -> MedType
getMedType (ProgrammContent p) = .medType p
module Temp exposing (programmContent, getMedType)
type ProgrammContent = ProgrammContent
{ medType : MedType
, medInfo : Maybe Int
}
programmContent : MedType =
programmContent t =
ProgrammContent { medType = t, medInfo = Nothing }
getMedType : ProgrammContent -> MedType
getMedType (ProgrammContent p) = .medType p
типа такого
ZK
тогда не будет тип виден
ZK
Вот так:
module Temp exposing
( ProgrammContent
, MedType
, programmContent
, getMedType)
type ProgrammContent = ProgrammContent
{ medType : MedType
, medInfo : Maybe Int
}
programmContent : MedType =
programmContent t =
ProgrammContent { medType = t, medInfo = Nothing }
getMedType : ProgrammContent -> MedType
getMedType (ProgrammContent p) = .medType p
AP
Ну да. Тип тоже надо. Просто без
(..)AP
тогда не будет тип виден
Это не всегда и нужно, кстати. Если на верхний уровень в сигнатуры тип никогда не попадает, то можно и не экспортировать :)
ZK
разве такое возможно?
ZK
ну т.е. компилятор пропустит такое?
AP
Пропустит, конечно
AP
--- Types.elm
module Types exposing (c, g21)
type T
= C1 { g11 : Int, g12 : String }
| C2 { g21 : Bool }
c = C2 { g21 = False }
g21 x =
case x of
(C2 x) -> .g21 x
_ -> False
--- Main.elm
module Main exposing (main)
import Html
import Types exposing (..)
main = Html.text <| toString <| g21 <| c
`AP
Тут
T нигде не фигурирует в Main в сигнатурах, но всё компилитсяZK
в Java такое тоже работает
ZK
можно вернуть приватный класс и использовать возвращённое значение
AP
Само знание о некоторм типе доступно компилятору, если доступна хоть одна функция, с ним работающая. Вот чтобы в аннотациях типов тип использовать, нужно его конструктор экспортировать - очевидно же.
AP
Конструкторы типов - такие же функции, просто для программы на типах
AP
Если ты эти функции не экспортируешь, то не можешь писать выражения, вызывающие эти "функции"