Safe Haskell	None
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)

Instance details

Defined in Unison.Blank

type Rep (Blank loc) = D1 ('MetaData "Blank" "Unison.Blank" "unison-core1-0.0.0-7C4HRERtMMPLlv1FW49L56" '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)))

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-7C4HRERtMMPLlv1FW49L56" '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)

Instance details

Defined in Unison.Blank

type Rep (Recorded loc) = D1 ('MetaData "Recorded" "Unison.Blank" "unison-core1-0.0.0-7C4HRERtMMPLlv1FW49L56" '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))))

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-7C4HRERtMMPLlv1FW49L56" '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 #