Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
A value, or a hole, or something else that has its type & requirements fixed
Instances
FromJSON v => FromJSON (Typed v) Source # | |
ToJSON v => ToJSON (Typed v) Source # | |
Defined in Swarm.Language.Typed | |
Generic (Typed v) Source # | |
Show v => Show (Typed v) Source # | |
Eq v => Eq (Typed v) Source # | |
type Rep (Typed v) Source # | |
Defined in Swarm.Language.Typed type Rep (Typed v) = D1 ('MetaData "Typed" "Swarm.Language.Typed" "swarm-0.3.0.1-EqejWKaUFCJHRV1d3nJuA2" 'False) (C1 ('MetaCons "Typed" 'PrefixI 'True) (S1 ('MetaSel ('Just "_value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 v) :*: (S1 ('MetaSel ('Just "_polytype") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Polytype) :*: S1 ('MetaSel ('Just "_requires") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Requirements)))) |