Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Blank

Synopsis

data Blank loc
- = Blank
- | Recorded (Recorded loc)
- | Retain
data Recorded loc
- = Placeholder loc String
- | Resolve loc String
- | MissingResultPlaceholder loc
loc :: Recorded loc -> loc
nameb :: Blank loc -> Maybe String

Documentation

data Blank loc Source #

Blank is just a dummy annotation.

Constructors

Blank	just a dummy annotation
Recorded (Recorded loc)	indicates that we want to remember the variable's solution for some reason
Retain	indicates that we want to prefer keeping the variable in the context to better refine the above recorded solutions

Instances

Instances details

Functor Blank Source #
Instance details Defined in Unison.Blank Methods fmap :: (a -> b) -> Blank a -> Blank b # (<$) :: a -> Blank b -> Blank a #
Generic (Blank loc) Source #
Instance details Defined in Unison.Blank Associated Types type Rep (Blank loc) :: Type -> Type # Methods from :: Blank loc -> Rep (Blank loc) x # to :: Rep (Blank loc) x -> Blank loc #
Show loc => Show (Blank loc) Source #
Instance details Defined in Unison.Blank Methods showsPrec :: Int -> Blank loc -> ShowS # show :: Blank loc -> String # showList :: [Blank loc] -> ShowS #
Eq loc => Eq (Blank loc) Source #
Instance details Defined in Unison.Blank Methods (==) :: Blank loc -> Blank loc -> Bool # (/=) :: Blank loc -> Blank loc -> Bool #
Ord loc => Ord (Blank loc) Source #
Instance details Defined in Unison.Blank Methods compare :: Blank loc -> Blank loc -> Ordering # (<) :: Blank loc -> Blank loc -> Bool # (<=) :: Blank loc -> Blank loc -> Bool # (>) :: Blank loc -> Blank loc -> Bool # (>=) :: Blank loc -> Blank loc -> Bool # max :: Blank loc -> Blank loc -> Blank loc # min :: Blank loc -> Blank loc -> Blank loc #
type Rep (Blank loc) Source #
Instance details Defined in Unison.Blank type Rep (Blank loc) = D1 ('MetaData "Blank" "Unison.Blank" "unison-core1-0.0.0-Kp7ZcNnt5XdB8ImvFwyntI" 'False) (C1 ('MetaCons "Blank" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Recorded" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Recorded loc))) :+: C1 ('MetaCons "Retain" 'PrefixI 'False) (U1 :: Type -> Type)))

data Recorded loc Source #

Constructors

Placeholder loc String
Resolve loc String
MissingResultPlaceholder loc

Instances

Instances details

Functor Recorded Source #
Instance details Defined in Unison.Blank Methods fmap :: (a -> b) -> Recorded a -> Recorded b # (<$) :: a -> Recorded b -> Recorded a #
Generic (Recorded loc) Source #
Instance details Defined in Unison.Blank Associated Types type Rep (Recorded loc) :: Type -> Type # Methods from :: Recorded loc -> Rep (Recorded loc) x # to :: Rep (Recorded loc) x -> Recorded loc #
Show loc => Show (Recorded loc) Source #
Instance details Defined in Unison.Blank Methods showsPrec :: Int -> Recorded loc -> ShowS # show :: Recorded loc -> String # showList :: [Recorded loc] -> ShowS #
Eq loc => Eq (Recorded loc) Source #
Instance details Defined in Unison.Blank Methods (==) :: Recorded loc -> Recorded loc -> Bool # (/=) :: Recorded loc -> Recorded loc -> Bool #
Ord loc => Ord (Recorded loc) Source #
Instance details Defined in Unison.Blank Methods compare :: Recorded loc -> Recorded loc -> Ordering # (<) :: Recorded loc -> Recorded loc -> Bool # (<=) :: Recorded loc -> Recorded loc -> Bool # (>) :: Recorded loc -> Recorded loc -> Bool # (>=) :: Recorded loc -> Recorded loc -> Bool # max :: Recorded loc -> Recorded loc -> Recorded loc # min :: Recorded loc -> Recorded loc -> Recorded loc #
type Rep (Recorded loc) Source #
Instance details Defined in Unison.Blank type Rep (Recorded loc) = D1 ('MetaData "Recorded" "Unison.Blank" "unison-core1-0.0.0-Kp7ZcNnt5XdB8ImvFwyntI" 'False) (C1 ('MetaCons "Placeholder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 loc) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "Resolve" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 loc) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "MissingResultPlaceholder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 loc))))

loc :: Recorded loc -> loc Source #

nameb :: Blank loc -> Maybe String Source #