Swarm.Language.Typed

Documentation

data Typed v

A value, or a hole, or something else that has its type & requirements fixed

Constructors

Typed

Fields

• _value :: v
• _polytype :: Polytype
• _requires :: Requirements

Instances

FromJSON v => FromJSON (Typed v)

Defined in Swarm.Language.Typed

Methods

parseJSON :: Value -> Parser (Typed v)

parseJSONList :: Value -> Parser [Typed v]

ToJSON v => ToJSON (Typed v)

Defined in Swarm.Language.Typed

Methods

toJSON :: Typed v -> Value

toEncoding :: Typed v -> Encoding

toJSONList :: [Typed v] -> Value

toEncodingList :: [Typed v] -> Encoding

Generic (Typed v)

Defined in Swarm.Language.Typed

Associated Types

type Rep (Typed v) :: Type -> Type

Methods

from :: Typed v -> Rep (Typed v) x

to :: Rep (Typed v) x -> Typed v

Show v => Show (Typed v)

Defined in Swarm.Language.Typed

Methods

showsPrec :: Int -> Typed v -> ShowS

show :: Typed v -> String

showList :: [Typed v] -> ShowS

Eq v => Eq (Typed v)

Defined in Swarm.Language.Typed

Methods

(==) :: Typed v -> Typed v -> Bool

(/=) :: Typed v -> Typed v -> Bool

type Rep (Typed v)

Defined in Swarm.Language.Typed

type Rep (Typed v) = D1 ('MetaData "Typed" "Swarm.Language.Typed" "swarm-0.2.0.0-D1mAmWsUEjoFqpCaq9DHG0" '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))))

value :: forall v v. Lens (Typed v) (Typed v) v v

polytype :: forall v. Lens' (Typed v) Polytype

requires :: forall v. Lens' (Typed v) Requirements